AppsWithCode
Open main menu
Javascript
Python
Rust
Java
Swift
Clojure
More
About
→
Coq-HoTT
https://github.com/HoTT/Coq-HoTT
Coq
1248
last month
Reviews
A Coq library for Homotopy Type Theory
Search similar apps
homotopy-type-theory
type-theory
univalent-foundations
License
Other
Share
Share on Facebook
Share on Instagram
Share on Twitter
Details
License
A Coq library for Homotopy Type Theory
Creator
HoTT
Related apps
