---
name: "prover9-mace4"
section: "1"
platform: "linux"
package: "prover9-mace4"
version: "0.5.dfsg-3"
release: "Debian 10 (Buster)"
platforms: ["linux"]
url: "https://new.carta.tech/prover9-mace4"
---

# prover9-mace4(1)

graphical theorem prover interface for Prover9 and Mace4

## NAME

prover9-mace4 - 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)](/prover9/1.md) theorem prover and the [**mace4**(1)](/mace4/1.md) countermodel generator.

## USAGE

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

## SEE ALSO

[**prover9**(1)](/prover9/1.md), [**mace4**(1)](/mace4/1.md).

## AUTHOR

**prover9-mace4** ws written by William McCune \<mccune@cs.unm.edu\>

This manual page was written by Peter Collingbourne \<peter@pcc.me.uk\>, for the Debian project (but may be used by others).