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