PrototypeCommune
martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
- Propriétaire
- martinescardo (compte personnel)
- Étoiles
- Étoiles : 238
- Forks
- Forks : 22
- Langage
- Agda
- Licence
- GPL-3.0
- Création
- 2019
- Sujets
- hott-ufunivalent-foundationsunivalent-mathematicsagdahomotopy-type-theorymlttmartin-lof-type-theorylecture-notesdependent-typesunivalence-axiom
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de martinescardo
Les 3 dépôts de martinescardo- martinescardo/HoTTEST-Summer-SchoolÉtoiles : 341TeXAlpha
- martinescardo/TypeTopologyÉtoiles : 288AgdaAlpha
D’autres dépôts Agda
Tous les dépôts Agda- liamoc/learn-you-an-agdaÉtoiles : 315AgdaAlpha
- martinescardo/TypeTopologyÉtoiles : 288AgdaAlpha
- pigworker/CS410-17Étoiles : 265AgdaAlpha
- agda/agda2hsÉtoiles : 210AgdaPrototype
- copumpkin/categoriesÉtoiles : 154AgdaPrototype
- thehottgame/TheHoTTGameÉtoiles : 141AgdaPrototype