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

euclid

gapt.examples.prime.euclid
case class euclid(k: Int) extends PrimeDefinitions

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class TacticsProof
class TacticsProof0
class Object
trait Matchable
class Any
Show all
Known subtypes
object euclid3

Members list

Value members

Concrete methods

def ldivprod(i: Int): LKProof
def prodgt0(i: Int): LKProof
def splitgt0(label: String): Tactic[Unit]

Inherited methods

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

Attributes

Inherited from:
TacticsProof
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Concrete fields

val proof: LKProof

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

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

Attributes

Inherited from:
PrimeDefinitions
Generated with