package coq-hott
The Homotopy Type Theory library
Install
Dune Dependency
Authors
Maintainers
Sources
CoqPlatform.8.13.1.tar.gz
sha512=167595b31dafcbe2304ad4328a30de2db4a0801fcd342844e30df0ece7be29bf00d6caeb48c2f83193b256b579ea4c9019ef7cf75452d4fcdea446ea6b9d574e
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