1lab
Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
To Classify
1
Additional information
- Category
- To Classify
- Homepage
- https://github.com/the1lab/1lab
- Available via
- Nixpkgs
- Catalog data as of
- 9/3/2026 (dataset snapshot date — per-app update dates aren't tracked yet)