Pinned Repositories
Spectral
HoTT
Homotopy type theory
infdesc
An Infinite Descent into Pure Mathematics
hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
cnewstead's Repositories
cnewstead/infdesc
An Infinite Descent into Pure Mathematics
cnewstead/HoTT
Homotopy type theory