AlphaUncommon
EgbertRijke/HoTT-Intro
An introductory course to Homotopy Type Theory
Archived: this repository is read-only
- Owner
- EgbertRijke (personal account)
- Stars
- Stars: 373
- Forks
- Forks: 28
- Language
- Agda
- License
- CC-BY-4.0
- Created
- 2018
- Topics
- agdahottunivalencebookcoqformalizationmathematics
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Agda
All Agda repos- HoTT/HoTT-AgdaStars: 442AgdaAlpha
- agda/agda-categoriesStars: 412AgdaAlpha
- cedille/cedilleStars: 398AgdaAlpha
- UniMath/agda-unimathStars: 318AgdaAlpha
- liamoc/learn-you-an-agdaStars: 315AgdaAlpha
- martinescardo/TypeTopologyStars: 288AgdaAlpha