• 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
    • Actions
    • FOF Reduction
    • Goals and Denials
    • Hints
    • Semantics
  • Related Programs
    • Mace4
    • Prooftrans
    • More Programs
  • Ending
    • All Options
    • Glossary
    • References