PrototypeCommune
joom/hezarfen
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
Archivé : ce dépôt n’évolue plus
- Propriétaire
- joom (compte personnel)
- Étoiles
- Étoiles : 119
- Forks
- Forks : 3
- Langage
- Idris
- Licence
- MIT
- Création
- 2017
- Sujets
- automated-theorem-proversmetaprogrammingmathematical-logicidristheorem-prover
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de joom
Les 2 dépôts de joom- joom/zor-yoldan-haskellÉtoiles : 164Prototype
D’autres dépôts Idris
Tous les dépôts Idris- andorp/order-takingÉtoiles : 146IdrisPrototype
- KesterTong/idris2048Étoiles : 124IdrisPrototype
- idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype
- edwinb/SPLV20Étoiles : 116IdrisPrototype
- gallais/idris-tparsecÉtoiles : 100IdrisPrototype