GitHub topics: unimath
UniMath/UniMath
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language: Coq - Size: 61.6 MB - Last synced at: 2 days ago - Pushed at: 21 days ago - Stars: 985 - Forks: 176
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: 28.9 MB - Last synced at: about 8 hours ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1
langston-barrett/reed-thesis
My undergradate thesis on coinductive types in univalent type theory
Language: TeX - Size: 1.27 MB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 17 - Forks: 0
AnthonyBordg/UniLab
Formalized Mathematics
Language: Coq - Size: 76.2 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
