@hackage g4ip-prover2.0.0.0

Theorem prover for intuitionistic propositional logic using G4ip

Categories
License
MIT
Maintainer
klntsky@gmail.com
Links
Versions
- 2.0.0.0 Fri, 28 Dec 2018
- 0.1.0.1 Mon, 4 Dec 2017
- 0.1.0.0 Thu, 14 Sep 2017

Installation
In your cabal file:
Dependencies (4)
- array >=0.5 && <1.0
- base >=4.9 && <5
- directory >=1.0 && <2.0
- filepath >=1.4 && <2
Dependents (1)
@hackage/acme-everything

Theorem prover for intuitionistic propositional logic using G4ip