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