stp
Version 0.1.0.1 revision 0 uploaded by bor0.
Package meta
- Synopsis
- Simple Theorem Prover
- Description
Simple Theorem Prover constructs a proof tree and searches for a target/conclusion given a list of rewrite rules and axioms/theorems.
- Author
- Boro Sitnikovski
- Bug reports
- n/a
- Category
- Math
- Copyright
- (c) 2018 Boro Sitnikovski
- Homepage
- https://github.com/bor0/stp
- Maintainer
- buritomath@gmail.com
- Package URL
- n/a
- Stability
- n/a