AlphaUncommon
HoTT/HoTT-Agda
Development of homotopy type theory in Agda
- Owner
- HoTT (organization)
- Stars
- Stars: 442
- Forks
- Forks: 58
- Language
- Agda
- License
- MIT
- Created
- 2012
- Topics
- agdahomotopyhottunivalence
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by HoTT
All 4 repos by HoTT- HoTT/bookStars: 2,175TeXRC
- HoTT/Coq-HoTTStars: 1,407Rocq ProverBeta
- HoTT/EPIT-2020Stars: 110TeXPrototype
Nearby in Agda
All Agda repos- agda/agda-stdlibStars: 680AgdaAlpha
- agda/cubicalStars: 572AgdaAlpha
- the1lab/1labStars: 446AgdaAlpha
- agda/agda-categoriesStars: 412AgdaAlpha
- cedille/cedilleStars: 398AgdaAlpha
- EgbertRijke/HoTT-IntroStars: 373AgdaAlpha