Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: unimath
UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language: Coq - Size: 27.9 MB - Last synced: 1 day ago - Pushed: 2 days ago - Stars: 917 - Forks: 169
langston-barrett/reed-thesis
My undergradate thesis on coinductive types in univalent type theory
Language: TeX - Size: 1.27 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 14 - Forks: 0
amato-gianluca/UniMath Fork of UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language: Coq - Size: 27 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 3 - Forks: 1
AnthonyBordg/UniLab
Formalized Mathematics
Language: Coq - Size: 76.2 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0