English Prover9 Cited by user Djm-leighpark on 19 Nov 2018 Prover9 is an automated theorem prover for First-order and equational logic developed by William McCune.