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
Read the Docs
v: latest
Versions
latest
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.