Prover Resolution theorem proving for predicate logic in pure Python PyProver is a resolution theorem prover for first-order predicate logic. 26 June 2021