package coq-hott
The Homotopy Type Theory library
Install
Dune Dependency
Authors
Maintainers
Sources
V8.12.tar.gz
sha512=76367930eefcd81d08a546f4b79a34773a2c39263d03359194d15fae69856b4a275ca85c07886c2a5d446d920ab4dce8c87c909bb648cf168a0818321471be09
Description
To use the HoTT library, the following flags must be passed to coqc: -noinit -indices-matter To use the HoTT library in a project, add the following to _CoqProject: -arg -noinit -arg -indices-matter
Dependencies (4)
-
coq
>= "8.12" & < "8.13~" -
ocamlfind
build - ocaml
-
conf-autoconf
build
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page