AlphaPeu commune
statebox/idris-ct
formally verified category theory library
- Propriétaire
- statebox (organisation)
- Étoiles
- Étoiles : 272
- Forks
- Forks : 26
- Langage
- Idris
- Licence
- AGPL-3.0
- Création
- 2019
- Sujets
- category-theoryformal-verificationformal-proofs
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de statebox
Les 3 dépôts de statebox- statebox/awesome-applied-ctÉtoiles : 472Alpha
- statebox/cqlÉtoiles : 189HaskellPrototype
D’autres dépôts Idris
Tous les dépôts Idris- idris-hackers/software-foundationsÉtoiles : 459IdrisAlpha
- joaomilho/awesome-idrisÉtoiles : 414IdrisAlpha
- typedefs/typedefsÉtoiles : 373IdrisAlpha
- ziman/lightyearÉtoiles : 243IdrisPrototype
- stefan-hoeck/idris2-tutorialÉtoiles : 240IdrisPrototype
- puffnfresh/iridiumÉtoiles : 209IdrisPrototype