Man Pages in prover9-mace4

Section 1: Executable programs or shell commands

prover9-mace4.1

Graphical theorem prover interface for prover9 and mace4