PrototypeCommon
joom/hezarfen
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
Archived: this repository is read-only
- Owner
- joom (personal account)
- Stars
- Stars: 119
- Forks
- Forks: 3
- Language
- Idris
- License
- MIT
- Created
- 2017
- Topics
- automated-theorem-proversmetaprogrammingmathematical-logicidristheorem-prover
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by joom
All 2 repos by joom- joom/zor-yoldan-haskellStars: 164Prototype
Nearby in Idris
All Idris repos- andorp/order-takingStars: 146IdrisPrototype
- KesterTong/idris2048Stars: 124IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype
- edwinb/SPLV20Stars: 116IdrisPrototype
- gallais/idris-tparsecStars: 100IdrisPrototype