.TH PROVER9-MACE4 1 "January 14, 2008"
.SH NAME
prover9-mace4 \- graphical theorem prover interface for Prover9 and Mace4
.SH SYNOPSIS
.B prover9-mace4
.SH DESCRIPTION
This manual page documents briefly the
.B prover9-mace4
command.
.PP
\fBprover9-mace4\fP is a graphical user interface (GUI) to the
.BR prover9 (1)
theorem prover and the
.BR mace4 (1)
countermodel generator.
.SH USAGE
Usage instructions can be found within the program via the \fBHelp\fP menu.
.SH SEE ALSO
.BR prover9 (1),
.BR mace4 (1).
.SH AUTHOR
\fBprover9-mace4\fP ws written by William McCune <mccune@cs.unm.edu>
.PP
This manual page was written by Peter Collingbourne <peter@pcc.me.uk>,
for the Debian project (but may be used by others).