stp
Simple Theorem Prover constructs a proof tree and searches for a target/conclusion given a list of rewrite rules and axioms/theorems.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
about 7 years ago
0.1.0.1
about 7 years ago
Versions
2
2
Downloads
1,102 total
1,102 total
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter by Kind
Links
| Registry | hackage.haskell.org |
| Source | Repository |
| JSON API | View JSON |
| CodeMeta | codemeta.json |