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

tape

gapt.examples.tape
object tape extends TacticsProof

Attributes

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

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
TacticsProof

Concrete fields

val lhs: LKProof
val proof: LKProof
val rhs: LKProof

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Generated with