package iprover
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- class IProverInput extends AnyRef
- class IProverInstance extends AnyRef
- class IProverOutput extends AnyRef
- case class Labels(cnf: Seq[FOLClause]) extends Product with Serializable
- class TptpDerivationParser extends AnyRef
Value Members
- object IProver extends ResolutionProver with ExternalProgram
This is the API documentation for GAPT.
The main package is gapt.