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
»
gavel
Edit on GitHub
gavel
ΒΆ
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
.