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

primediv

gapt.examples.primediv
object primediv extends TacticsProof

Attributes

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

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
TacticsProof

Concrete fields

val lnpind: LKProof
val proof: LKProof
val theory: Sequent[(String, Formula)]

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Generated with