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
Python Symbolic Information Theoretic Inequality Prover
Deploying High-Performance Lean 4 Server in One Click
