Agda formalisation of the Introduction to Homotopy Type Theory
mathematics
agda
textbook
univalence
homotopy-type-theory
univalent-foundations
mathematics-library
univalent-mathematics
hott-uf
univalence-axiom
-
Updated
Nov 27, 2021 - Agda