Prover9 Manual
Introduction
Installation
Running Prover9
Input Files
Clauses & Formulas
Search Prep
Auto Modes
Term Ordering
More Prep
Search Limits
Inference
The Loop
Select Given
Inference Rules
Process Inferred
Output Files
More Features
Weighting
Attributes
Goals and Denials
Advanced Features
Mace4
Introduction
Input
Options
Interpformat
Isofilter
Related Programs
Prooftrans
FOF-Prover9
More Programs
Ending
All Prover9 Options
Glossary
References