The set of primes is supernatural: a Lean formalization of the statement of the conjecture (arxiv.org)

The paper \emph{Conjecture: the set of prime numbers is supernatural} conjectures that no non-constant function built from the identity and constants by finitely many pointwise additions, multiplicati...