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