Contents

• Overview
  • Installation
  • Documentation
  • Development
• Installation
• Usage
• Reference
  • gavel
  • Logic
  • Problem
  • Proof
  • Dialects
  • Provers
  • Using existing Provers
  • Proving with EProver
  • Proving with Hets
  • Select Premises
• Contributing
  • Bug reports
  • Documentation improvements
  • Feature requests and feedback
  • Development
• Authors
• Changelog
  • 0.0.0 (2019-02-19)

Indices and tables

• Index
• Module Index
• Search Page