unimath

There are 4 repositories under unimath topic.

UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq971 57 537172
langston-barrett/reed-thesis
My undergradate thesis on coinductive types in univalent type theory
Language:TeX17 4 00
amato-gianluca/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq3 5 01
AnthonyBordg/UniLab
Formalized Mathematics
Language:Coq1 3 00