PrototypeCommune
thehottgame/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
- Propriétaire
- thehottgame (compte personnel)
- Étoiles
- Étoiles : 141
- Forks
- Forks : 16
- Langage
- Agda
- Licence
- Aucune
- Création
- 2021
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Agda
Tous les dépôts Agda- martinescardo/HoTT-UF-Agda-Lecture-NotesÉtoiles : 237AgdaPrototype
- agda/agda2hsÉtoiles : 210AgdaPrototype
- copumpkin/categoriesÉtoiles : 154AgdaPrototype
- ice1000/BooksÉtoiles : 140AgdaPrototype
- gallais/agdarsecÉtoiles : 138AgdaPrototype
- UlfNorell/agda-preludeÉtoiles : 135AgdaPrototype