Provided by: prover9-mace4_0.5.dfsg-3_all
prover9-mace4 - graphical theorem prover interface for Prover9 and Mace4
This manual page documents briefly the prover9-mace4 command. prover9-mace4 is a graphical user interface (GUI) to the prover9(1) theorem prover and the mace4(1) countermodel generator.
Usage instructions can be found within the program via the Help menu.
prover9-mace4 ws written by William McCune <email@example.com> This manual page was written by Peter Collingbourne <firstname.lastname@example.org>, for the Debian project (but may be used by others). January 14, 2008 PROVER9-MACE4(1)