TY  - RPRT
TI  - The set of primes is supernatural: a Lean formalization of the statement of the conjecture
AU  - A. Mayeux
PY  - 2026
UR  - https://arxiv.org/abs/2608.08643
ID  - 2608.08643
ER  -