prover9-mace41
Graphical theorem prover interface for prover9 and mace4
Usage
prover9-mace4
Overview
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.
Releases
6 releases since Debian 5.0 (Lenny); the text changed 1 time.