package verit
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- case class FormulaInstance(formula: Formula, terms: Seq[Expr]) extends Product with Serializable
- class VeriT extends OneShotProver with ExternalProgram
This is the API documentation for GAPT.
The main package is gapt.