prover
Resolution theorem proving for predicate logic in pure Python.
Python library for computational formal logic, formal semantics, and theorem proving
Natural deduction proof generator & checker
The E theorem prover, packaged as a platform wheel
Python Symbolic Information Theoretic Inequality Prover
