gapt-examples
API
Generated with
gapt-examples/gapt.examples/divisionByTwo

divisionByTwo

gapt.examples.divisionByTwo
object divisionByTwo extends TacticsProof

Attributes

Graph
Supertypes
class TacticsProof
class TacticsProof0
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

def main(args: Array[String]): Unit

Attributes

Inherited from:
TacticsProof

Concrete fields

val a1: InductionRule
val b1: EqualityIntroRule
val b2: DefinitionRule
val b3: OrIntro1Rule
val b4: ExistsIntroRule
val cases: List[InductionCase]
val i1: LogicalAxiom
val i2: LogicalAxiom
val i3: OrElimRule
val i4: ExistsElimRule
val l1: LogicalAxiom
val l2: ForallElimRule
val l3: ForallElimRule
val l4: DefinitionRule
val l5: ImpElimRule
val l6: OrIntro2Rule
val l7: ExistsIntroRule
val mo1: LogicalAxiom
val mo2: EqualityIntroRule
val mo3: EqualityElimRule
val mo4: ImpIntroRule
val mo5: ForallIntroRule
val mo6: ForallIntroRule
val proof: ForallIntroRule
val r1: LogicalAxiom
val r2: ForallElimRule
val r3: ForallElimRule
val r4: DefinitionRule
val r5: ImpElimRule
val r6: OrIntro1Rule
val r7: ExistsIntroRule

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Generated with