Version 2009-02A

Prover9 (and some Mace4) Examples

The examples show Prover9 and Mace4 jobs, with links to the input and output files. Most also show XML output.

Basic Examples

Examples From Recent Projects