Lean repository linked
The Odlyzko-Poonen Conjecture on Irreducibility of Random Polynomials
arXiv:2609.26771 · arXiv
Lean formalisations (1)
ckkogler/odlyzko-poonen-lean at e79540e23d59
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.