PrototypeCommune
HoTT-Intro/Agda
Agda formalisation of the Introduction to Homotopy Type Theory
- Propriétaire
- HoTT-Intro (organisation)
- Étoiles
- Étoiles : 129
- Forks
- Forks : 5
- Langage
- Agda
- Licence
- GPL-3.0
- Création
- 2020
- Sujets
- hott-ufagdatextbookunivalent-foundationsunivalenceunivalent-mathematicsunivalence-axiomhomotopy-type-theorymathematicsmathematics-library
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Agda
Tous les dépôts Agda- ice1000/BooksÉtoiles : 140AgdaPrototype
- gallais/agdarsecÉtoiles : 138AgdaPrototype
- UlfNorell/agda-preludeÉtoiles : 135AgdaPrototype
- wenkokke/schmittyÉtoiles : 110AgdaPrototype
- alhassy/gentle-intro-to-reflectionÉtoiles : 108AgdaPrototype
- agda-attic/agda-frp-jsÉtoiles : 104AgdaPrototype