Formal target: Corpus.WikipediaWolstenholmePrime.wolstenholme_prime_infinite

It is conjectured that there are infinitely many Wolstenholme primes.

Exact formal statement

Set.Infinite.{0} (Set.ofPred.{0} fun p => Corpus.WikipediaWolstenholmePrime.IsWolstenholmePrime p)

This target is a formal statement, not a proof of the problem.

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record