Erdős problem 17 · problems.science

Erdős Problem 17. Are there infinitely many cluster primes?

Sources

Browse retained paths and inspect the exact material available for this Problem.

4 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

17.lean

Retained formal statement1 of 4

Erdős Problem 17. Are there infinitely many cluster primes?

FormalConjectures/ErdosProblems/17.leanErdos17.erdos_171 lineExact file

1sorry ↔ {p | Erdos17.IsClusterPrime p}.Infinite

OpenStatement only, no proof