@hackage g4ip0.1.0.0

A theorem prover for propositional logic that uses G4ip

Categories
License
MIT
Maintainer
coskuacay@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.1.0.0 Mon, 20 Mar 2017

Installation
In your cabal file:
Dependencies (1)
- base >=4.6 && <4.7
Dependents (1)
@hackage/acme-everything