gapt-examples
API
Generated with
gapt-examples/gapt.examples/gapt.examples.predicateEliminationProblems/induction

induction

gapt.examples.predicateEliminationProblems.induction
object induction

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
induction.type

Members list

Value members

Concrete methods

def additionDefinition: FOLFormula
def ind(expr: Expr): Formula
def inductiveTheorem(theorem: Formula): Formula
Generated with