Resolution theorem proving for predicate logic in pure Python.
Python library for computational formal logic, formal semantics, and theorem proving
Python Symbolic Information Theoretic Inequality Prover
Natural deduction proof generator & checker
Deploying High-Performance Lean 4 Server in One Click
