package coq-hott
The Homotopy Type Theory library
Install
Dune Dependency
Authors
Maintainers
Sources
V8.19.tar.gz
sha512=aeed99987cc7cc65b20972d0a0be953da438d494447ae01573e8f9740fe2195f3c4263168e9d6bb7d6e304479ba3996349f7c68d8dede3539b578cd75f7f4df9
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
On This Page