package prime
Ordering
- Alphabetic
Visibility
- Public
- All
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 at.logic.gapt.