gapt.examples.prime
package gapt.examples.prime
Members list
Type members
Classlikes
trait PrimeDefinitions extends TacticsProof
Contains definitions for Euclid's and Furstenberg's prime proofs.
Contains definitions for Euclid's and Furstenberg's prime proofs.
Attributes
- Supertypes
-
class TacticsProofclass TacticsProof0class Objecttrait Matchableclass Any
- Known subtypes
case class euclid(k: Int) extends PrimeDefinitions
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait PrimeDefinitionsclass TacticsProofclass TacticsProof0class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
object euclid3
Attributes
- Supertypes
-
class euclidtrait Serializabletrait Producttrait Equalstrait PrimeDefinitionsclass TacticsProofclass TacticsProof0class Objecttrait Matchableclass AnyShow all
- Self type
-
euclid3.type
case class furstenberg(k: Int) extends PrimeDefinitions
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.
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait PrimeDefinitionsclass TacticsProofclass TacticsProof0class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
object furstenberg3
object furstenberg3 extends furstenberg
Attributes
- Supertypes
-
class furstenbergtrait Serializabletrait Producttrait Equalstrait PrimeDefinitionsclass TacticsProofclass TacticsProof0class Objecttrait Matchableclass AnyShow all
- Self type
-
furstenberg3.type
object furstenbergWitness
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
furstenbergWitness.type
In this article