Pinned Repositories
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
The 1Lab's Repositories
the1lab/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory