Installing Prover9, Mace4, and Friends
Unix-like Systems
Here is a quick example for Unix-like systems, including Linux and Macintosh OS X. Visit the Prover9 Web page and download the current version of LADR. The filename should be something like Prover9-LADR-2026-3I.tar.gz; make sure that file is in your current directory. Run the following commands.% tar xzf Prover9-LADR-2026-3I.tar.gz % cd Prover9-LADR-2026-3I % make all
Prover9, Mace4, Prooftrans, and several other programs should now be in the directory Prover9-LADR-2026-3I/bin. You can either include that directory in your search path or copy those programs to some directory that is already in your search path.