pyprover (pypi): Resolution theorem proving for predicate logic in pure Python.
Keywords: coconut|first-order-logic|prover|python|theorem-prover|theorem-proving