coq-hott

• 8.7
• 8.8
• 8.9
• 8.10
• 8.11

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