AlphaPeu commune
agda/agda-stdlib
The Agda standard library
- Propriétaire
- agda (organisation)
- Étoiles
- Étoiles : 679
- Forks
- Forks : 275
- Langage
- Agda
- Licence
- Aucune
- Création
- 2014
- Sujets
- agdalibraryproof
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de agda
Les 7 dépôts de agda- agda/agdaÉtoiles : 2 962HaskellRC
- agda/cubicalÉtoiles : 572AgdaAlpha
- agda/agda-categoriesÉtoiles : 412AgdaAlpha
- agda/agda2hsÉtoiles : 210AgdaPrototype
- agda/cornelisÉtoiles : 195HaskellPrototype
- agda/agda-language-serverÉtoiles : 130HaskellPrototype
D’autres dépôts Agda
Tous les dépôts Agda- plfa/plfa.github.ioÉtoiles : 1 524AgdaBêta
- agda/cubicalÉtoiles : 572AgdaAlpha
- the1lab/1labÉtoiles : 445AgdaAlpha
- HoTT/HoTT-AgdaÉtoiles : 442AgdaAlpha