Prover9 (and Mace4) Download
Prover9, Mace4, and several related programs
come packaged in a system called LADR
(Library for Automated Deduction Research).
If you install one of these LADR packages,
you will get command-line programs. (The
programs are run by typing commands to a
command prompt, terminal, or shell.)
A GUI (graphical user interface) called
Prover9-Mace4 is also available.
(The GUI is self-contained, so there is no need to install
one of these LADR packages to use the GUI.)
Prover9 for Unix-like Systems (Linux, Mac OS X)
For differences between the versions, see the
Changelog file.
Download the .tar.gz file, unpack it, go to the LADR directory, and "make all".
... Earlier versions have been archived and are no longer available via this Web site.
Prover9 for MS Windows
... Earlier versions have been archived and are no longer available via this Web site.