prover9-mace4(1) graphical theorem prover interface for Prover9 and Mace4

SYNOPSIS

prover9-mace4

DESCRIPTION

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

Usage instructions can be found within the program via the Help menu.

AUTHOR

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).