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
Actions
FOF Reduction
Goals
Hints
Semantics
Related Programs
Prooftrans
Mace4
Ending
All Options
Glossary
Index
References
Prover9 Manual Version June-2006
Index
Not done yet.