AlphaPeu commune
agda/cubical
An experimental library for Cubical Agda
- Propriétaire
- agda (organisation)
- Étoiles
- Étoiles : 572
- Forks
- Forks : 172
- Langage
- Agda
- Licence
- Aucune
- Création
- 2018
- Sujets
- agdacubical-type-theorylibrary
- 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 964HaskellRC
- agda/agda-stdlibÉtoiles : 680AgdaAlpha
- 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 526AgdaBêta
- agda/agda-stdlibÉtoiles : 680AgdaAlpha
- the1lab/1labÉtoiles : 446AgdaAlpha
- HoTT/HoTT-AgdaÉtoiles : 442AgdaAlpha
- agda/agda-categoriesÉtoiles : 412AgdaAlpha