This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Rocq Prover Updated about 2 months ago 1 commits 1,018 stars
zenith-bot|Mirror: UniMath/UniMath (⭐1,018)
about 2 months agoAbout
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Readme
1,018 stars
187 forks