PrototypeCommon
HoTT-Intro/Agda
Agda formalisation of the Introduction to Homotopy Type Theory
- Owner
- HoTT-Intro (organization)
- Stars
- Stars: 129
- Forks
- Forks: 5
- Language
- Agda
- License
- GPL-3.0
- Created
- 2020
- Topics
- hott-ufagdatextbookunivalent-foundationsunivalenceunivalent-mathematicsunivalence-axiomhomotopy-type-theorymathematicsmathematics-library
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Agda
All Agda repos- ice1000/BooksStars: 140AgdaPrototype
- gallais/agdarsecStars: 138AgdaPrototype
- UlfNorell/agda-preludeStars: 135AgdaPrototype
- wenkokke/schmittyStars: 110AgdaPrototype
- alhassy/gentle-intro-to-reflectionStars: 108AgdaPrototype
- agda-attic/agda-frp-jsStars: 104AgdaPrototype