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