graphical theorem prover interface for Prover9 and Mace4
This manual page documents briefly the
prover9-mace4 is a graphical user interface (GUI) to the
theorem prover and the
Usage instructions can be found within the program via the Help menu.
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).