prover
Resolution theorem proving for predicate logic in pure Python.
Python library for computational formal logic, formal semantics, and theorem proving
A Python client for the Lean Theorem Prover Server API.
Python Symbolic Information Theoretic Inequality Prover
Natural deduction proof generator & checker
