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

tautSchema

gapt.examples.tautSchema
object tautSchema extends TacticsProof

Attributes

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

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
TacticsProof

Concrete fields

val bc: LKProof
val es: Sequent[Formula]
val esBc: Sequent[(String, Formula)]
val esSc: Sequent[(String, Formula)]
val sc: LKProof

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Generated with