@hackage judge0.1.3.0

Tableau-based theorem prover for justification logic.

Categories
License
GPL-3.0-only
Maintainer
ns@slak.ws
Links
Versions
- 0.1.3.0 Wed, 14 Mar 2018
- 0.1.2.0 Mon, 5 Feb 2018

Installation
In your cabal file:
Dependencies (16)
- base >=4.7 && <5
- bytestring >=0.10.8.1 && <0.10.8.3
- containers >=0.5.7.1 && <0.5.10.3
- mtl ==2.2.1
- text ==1.2.2.2
- transformers ==0.5.2.0
Dependents (0)

An implementation of a decision procedure for classical propositional logic and justification logic.