coq-hott

The Homotopy Type Theory library

opam install coq-hott.8.11
homepage
http://homotopytypetheory.org/
license
BSD-2-Clause
bugs tracker
https://github.com/HoTT/HoTT/issues
dependencies
"conf-autoconf" {build} "ocaml" "ocamlfind" {build} "coq" {>= "8.11" & < "8.12~"}
source
https://github.com/HoTT/HoTT/archive/V8.11.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-hott/coq-hott.8.11