gapt-examples
API
Generated with
gapt-examples/gapt.examples/gapt.examples.prime/euclid3

euclid3

gapt.examples.prime.euclid3
object euclid3 extends euclid

Attributes

Graph
Supertypes
class euclid
trait Serializable
trait Product
trait Equals
class TacticsProof
class TacticsProof0
class Object
trait Matchable
class Any
Show all
Self type
euclid3.type

Members list

Value members

Inherited methods

def ldivprod(i: Int): LKProof

Attributes

Inherited from:
euclid
def main(args: Array[String]): Unit

Attributes

Inherited from:
TacticsProof
def prodgt0(i: Int): LKProof

Attributes

Inherited from:
euclid
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def splitgt0(label: String): Tactic[Unit]

Attributes

Inherited from:
euclid

Inherited fields

val proof: LKProof

Attributes

Inherited from:
euclid

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
implicit def spliceNum(i: Int): Splice[Expr]

Attributes

Inherited from:
PrimeDefinitions
Generated with