package coq-hott
The Homotopy Type Theory library
Install
Dune Dependency
Authors
Maintainers
Sources
V8.10.tar.gz
sha512=7a5c369ab8a61aa2a0868b8d2dae68b1aacf6f16f75127b397373cbb6c678f47f7e17271fafdf4aedfa6e3934144db49fa183fb07a6f81c059a4367807409b76
Description
Dependencies (4)
-
coq
>= "8.10" & < "8.11~" -
ocamlfind
build - ocaml
-
conf-autoconf
build
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page