Reviews
Homotopy type theory
Search similar apps
License
Other
Related apps
Coq-HoTT
A Coq library for Homotopy Type Theory
Coq1217other
19 hours ago
homotopy-type-theorytype-theoryunivalent-foundations
Homotopy type theory
Other
A Coq library for Homotopy Type Theory
Coq1217other
19 hours ago
homotopy-type-theorytype-theoryunivalent-foundations