Prover9
Prover9 is an automated theorem prover for first-order and equational logic developed by William McCune. == Description == Prover9 is the successor of the Otter theorem prover also developed by William McCune.
Prover9 is an automated theorem prover for first-order and equational logic developed by William McCune. == Description == Prover9 is the successor of the Otter theorem prover also developed by William McCune.
Prover9 is an automated theorem prover for first-order and equational logic developed by William McCune. == Description == Prover9 is the successor of the Otter theorem prover also developed by William McCune.
Source: Wikipedia "Prover9" · CC BY-SA 4.0
Share this article: X · Bluesky