package prime
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- trait PrimeDefinitions extends TacticsProof
Contains definitions for Euclid's and Furstenberg's prime proofs.
- case class euclid(k: Int) extends TacticsProof with PrimeDefinitions with Product with Serializable
- case class furstenberg(k: Int) extends TacticsProof with PrimeDefinitions with Product with Serializable
Furstenberg's topological proof of the infinitude of primes.
Furstenberg's topological proof of the infinitude of primes.
furstenberg(k) proves that there are more than k primes.
Value Members
- object euclid3 extends euclid
- object furstenberg3 extends furstenberg
- object furstenbergWitness
This is the API documentation for GAPT.
The main package is gapt.