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

from the Milehigh Conference on Quasigroups, Loops, and Nonassociative Systems
from R. Padmanabhan (overlaps with Milehigh examples)
Prover9 Miscellany
Mace4 Miscellany
Hao Wang Problems
FOF Reduction

Examples From Recent Projects