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

elemAtIndex

gapt.examples.elemAtIndex
object elemAtIndex 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: LogicalAxiom
val a2: AndElim2Rule
val a3: EqualityIntroRule
val a4: EqualityElimRule
val a5: DefinitionRule
val b1: LogicalAxiom
val b2: AndElim1Rule
val b3: EqualityIntroRule
val b4: EqualityElimRule
val b5: DefinitionRule
val bb: DefinitionRule
val bb1: LogicalAxiom
val bb2: ForallElimRule
val bb3: NegElimRule
val bb4: BottomElimRule
val bb5: ImpIntroRule
val bb6: ExistsIntroRule
val bi: WeakeningRule
val bi1: EqualityIntroRule
val bi10: ExistsIntroRule
val bi2: EqualityIntroRule
val bi3: AndIntroRule
val bi4: ExistsIntroRule
val bi5: DefinitionRule
val bi6: DefinitionRule
val bi7: ExistsIntroRule
val bi8: WeakeningRule
val bi9: ImpIntroRule
val c1: LogicalAxiom
val c2: AndIntroRule
val c3: ContractionRule
val c4: ExistsIntroRule
val c5: ExistsElimRule
val c6: ExistsIntroRule
val i1: InductionRule
val i2: ForallIntroRule
val i3: InductionRule
val i4: ForallIntroRule
val i5: InductionRule
val ib: DefinitionRule
val ib1: LogicalAxiom
val ib2: ForallElimRule
val ib3: NegElimRule
val ib4: BottomElimRule
val ib5: ImpIntroRule
val ib6: ExistsIntroRule
val ii: WeakeningRule
val ii1: LogicalAxiom
val ii10: ForallElimRule
val ii11: ExistsElimRule
val ii2: ExistsIntroRule
val ii3: ExistsElimRule
val ii4: LogicalAxiom
val ii5: ImpElimRule
val ii6: ExistsElimRule
val ii7: ImpIntroRule
val ii8: ExistsIntroRule
val ii9: LogicalAxiom
val proof: ForallIntroRule
val s: ForallIntroRule
val s1: LogicalAxiom
val s11: DefinitionRule
val s2: TheoryAxiom
val s3: ForallElimRule
val s4: LogicalAxiom
val s5: EqualityIntroRule
val s6: EqualityElimRule
val s7: NegElimRule
val s8: ExistsElimRule
val s9: NegIntroRule
val x: ImpElimRule
val x1: TheoryAxiom
val x2: ForallElimRule
val x3: ForallElimRule
val x4: LogicalAxiom
val x5: DefinitionRule
val x6: DefinitionRule

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Generated with