Prover9

Prover9 is an automated theorem prover for first-order and equational logic,

Proof assistant · by William McCune · cs.unm.edu

Open Prover9 in AirStack

What Prover9’s own pages say

What it says it doesProver9 is an automated theorem prover for first-order and equational logic, cs.unm.edu

Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.