Skip to content
Find file History
Pull request Compare This branch is 25 commits ahead, 2276 commits behind mikeshulman:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
..
Failed to load latest commit information.
Cohesion
HIT
Contractible.v
Equivalences.v
FiberEquivalences.v
Fibrations.v
Functions.v
Funext.v
HLevel.v
Homotopy.v
LexReflectiveSubcategory.v
Makefile
Paths.v
ReflectiveSubcategory.v
Univalence.v
UnivalenceAxiom.v
UnivalenceImpliesFunext.v
Something went wrong with that request. Please try again.