Popular repositories Loading
Repositories
Showing 1 of 1 repositories
- 1lab Public
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
the1lab/1lab’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…