Graphical theorem prover interface for prover9 and mace4
prover9-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 protected]>
This manual page was written by Peter Collingbourne <[email protected]>, for the Debian project (but may be used by others).