AlphaUncommon
the1lab/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
- Owner
- the1lab (organization)
- Stars
- Stars: 446
- Forks
- Forks: 96
- Language
- Agda
- License
- AGPL-3.0
- Created
- 2021
- Topics
- homotopy-type-theoryagda
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Agda
All Agda repos- plfa/plfa.github.ioStars: 1,526AgdaBeta
- agda/agda-stdlibStars: 680AgdaAlpha
- agda/cubicalStars: 572AgdaAlpha
- HoTT/HoTT-AgdaStars: 442AgdaAlpha
- agda/agda-categoriesStars: 412AgdaAlpha
- cedille/cedilleStars: 398AgdaAlpha