prover9-mace4 − 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 <mccune AT cs DOT unm DOT edu>
This manual page was written by Peter Collingbourne <pcc03 AT doc DOT ic DOT ac DOT uk>, for the Debian project (but may be used by others).