@hackage stp0.1.0.0

Simple Theorem Prover

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
buritomath@gmail.com
Links
Versions
- 0.1.0.1 Wed, 21 Nov 2018
- 0.1.0.0 Tue, 20 Nov 2018

Installation
In your cabal file:
Dependencies (2)
- base >=4.11 && <4.12
- containers ==0.5.11.0
Dependents (0)

Simple Theorem Prover constructs a proof tree and searches for a target/conclusion given a list of rewrite rules and axioms/theorems.