unimath

There are 0 repository under unimath topic.

• UniMath / UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  coqcoq-libraryfoundationsmathematicsunimath
  Language:Coq 920

• langston-barrett / reed-thesis

  My undergradate thesis on coinductive types in univalent type theory

  type-theorythesisunimathunivalenceunivalent-foundationscategory-theorymathematics
  Language:TeX 15

• amato-gianluca / UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  unimathhomotopy-type-theoryunivalent-foundationsunivalent-mathematics
  Language:Coq 3

• AnthonyBordg / UniLab

  Formalized Mathematics

  univalent-foundationsunimathcoq-formalizationdependent-types
  Language:Coq 1