coq-hott

The Homotopy Type Theory library

opam install coq-hott.8.9
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.9" & < "8.10~"}
source
https://github.com/HoTT/HoTT/archive/V8.9.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-hott/coq-hott.8.9