A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Latest commits.
Builders behind this project.
