gavel
latest
  • Overview
  • Installation
  • Usage
  • Reference
    • gavel
    • Logic
    • Problem
    • Proof
    • Dialects
    • Provers
    • Using existing Provers
    • Proving with EProver
    • Proving with Hets
    • Select Premises
  • Contributing
  • Authors
  • Changelog
gavel
  • Docs »
  • Reference
  • Edit on GitHub

ReferenceΒΆ

  • gavel
  • Logic
  • Problem
  • Proof
  • Dialects
    • Parser
    • Compiler
  • Provers
    • Custom Provers
  • Using existing Provers
  • Proving with EProver
    • Python interface
  • Proving with Hets
    • Online
    • Offline
    • Python interface
  • Select Premises
Next Previous

© Copyright 2019, Martin Glauer Revision 48c4d595.

Built with Sphinx using a theme provided by Read the Docs.