stp (hackage): Simple Theorem Prover constructs a proof tree and searches for a target/conclusion given a list of rewrite rules and axioms/theorems.
Keywords: bsd3|library|math|program