AlphaPeu commune
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
- Propriétaire
- martinescardo (compte personnel)
- Étoiles
- Étoiles : 288
- Forks
- Forks : 58
- Langage
- Agda
- Licence
- GPL-3.0
- Création
- 2018
- Sujets
- univalent-foundationsagdahomotopy-type-theorytype-theoryconstructive-mathematicscompact-typetotally-separated-typeinjective-typeordinalsearchable-set
- Rang
- Alpha (250 à 699 ★) 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/HoTT-UF-Agda-Lecture-NotesÉtoiles : 237AgdaPrototype
D’autres dépôts Agda
Tous les dépôts Agda- EgbertRijke/HoTT-IntroÉtoiles : 373AgdaAlpha
- UniMath/agda-unimathÉtoiles : 318AgdaAlpha
- liamoc/learn-you-an-agdaÉtoiles : 315AgdaAlpha
- pigworker/CS410-17Étoiles : 265AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesÉtoiles : 237AgdaPrototype
- agda/agda2hsÉtoiles : 210AgdaPrototype