Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP

no-ssreflect-and-type-classes

version without ssreflect and type classes, this is really outdated

pure-coq-8.3

The last version of HoTT which works with pure Coq 8.3 and 8.4.
Something went wrong with that request. Please try again.