Formal target: Corpus.OEIS7013.conjecture

Catalan-Mersenne conjecture: All terms of the Catalan-Mersenne sequence are prime.

Exact formal statement

∀ (n : Nat), Nat.Prime (Corpus.OEIS7013.a n)

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

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record