PrototypeCommune
ice1000/Books
My slides and notes
- Propriétaire
- ice1000 (compte personnel)
- Étoiles
- Étoiles : 140
- Forks
- Forks : 7
- Langage
- Agda
- Licence
- MIT
- Création
- 2018
- Sujets
- bookbooks
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de ice1000
Les 5 dépôts de ice1000- ice1000/resumeÉtoiles : 830TypstBêta
- ice1000/jimguiÉtoiles : 196JavaPrototype
- ice1000/A8TranslateÉtoiles : 161KotlinPrototype
- ice1000/intellij-zigÉtoiles : 117KotlinPrototype
D’autres dépôts Agda
Tous les dépôts Agda- agda/agda2hsÉtoiles : 210AgdaPrototype
- copumpkin/categoriesÉtoiles : 154AgdaPrototype
- thehottgame/TheHoTTGameÉtoiles : 141AgdaPrototype
- gallais/agdarsecÉtoiles : 138AgdaPrototype
- UlfNorell/agda-preludeÉtoiles : 135AgdaPrototype
- HoTT-Intro/AgdaÉtoiles : 129AgdaPrototype