gavel
latest
Overview
Installation
Usage
Reference
Contributing
Authors
Changelog
gavel
Docs
»
Contents
Edit on GitHub
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
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
.