Generated with

gapt-examples/gapt.examples/gapt.examples.prime/PrimeDefinitions

PrimeDefinitions

gapt.examples.prime.PrimeDefinitions

trait PrimeDefinitions extends TacticsProof

Contains definitions for Euclid's and Furstenberg's prime proofs.

Attributes

Graph
Supertypes: class TacticsProof

class TacticsProof0

class Object

trait Matchable

class Any
Known subtypes: class euclid

object euclid3.type

class furstenberg

object furstenberg3.type

Members list

Value members

Abstract methods

Inherited methods

Attributes

Inherited from:: TacticsProof

Implicits

Implicits

Inherited implicits

Attributes

Inherited from:: TacticsProof0

In this article

Generated with