@hackage g4ip-prover0.1.0.1

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 (0)
- array >=0.5 && <1.0
- base >=4.9 && <4.10
- directory >=1.0 && <2.0
- system-filepath >=0.4 && <1.0
Dependents (1)
@hackage/acme-everything

Implementation of a theorem prover for intuitionistic propositional logic using G4ip