PrototypeCommune
UlfNorell/agda-prelude
Programming library for Agda
- Propriétaire
- UlfNorell (compte personnel)
- Étoiles
- Étoiles : 135
- Forks
- Forks : 23
- Langage
- Agda
- Licence
- MIT
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Agda
Tous les dépôts Agda- thehottgame/TheHoTTGameÉtoiles : 141AgdaPrototype
- ice1000/BooksÉtoiles : 140AgdaPrototype
- gallais/agdarsecÉtoiles : 138AgdaPrototype
- HoTT-Intro/AgdaÉtoiles : 129AgdaPrototype
- wenkokke/schmittyÉtoiles : 110AgdaPrototype
- alhassy/gentle-intro-to-reflectionÉtoiles : 108AgdaPrototype