PrototypeCommune
clarus/falso
A proof of false in Coq.
- Propriétaire
- clarus (compte personnel)
- Étoiles
- Étoiles : 105
- Forks
- Forks : 1
- Langage
- Coq
- Licence
- MIT
- Création
- 2015
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de clarus
Les 3 dépôts de clarus- clarus/redux-shipÉtoiles : 606JavaScriptAlpha
- clarus/coq-chick-blogÉtoiles : 181CoqPrototype
D’autres dépôts Coq
Tous les dépôts Coq- PrimeMHD/FPGA_ThreeLevelStorageÉtoiles : 120CoqPrototype
- inQWIRE/QWIREÉtoiles : 113CoqPrototype
- verse-lab/toychainÉtoiles : 113CoqPrototype
- jonleivent/mindless-codingÉtoiles : 104CoqPrototype
- Ptival/PeaCoqÉtoiles : 104CoqPrototype
- DistributedComponents/diselÉtoiles : 103CoqPrototype