https://github.com/HoTT/Coq-HoTT
Coq1218
2 days ago
A Coq library for Homotopy Type Theory
Other
Homotopy type theory
Coq1134other
2 years ago
homotopy-type-theorytype-theoryunivalent-foundations