Lean repository linked
On a maximal anti-Ramsey conjecture of Burr, Erdős, Graham, and Sós
arXiv:2603.18952 · arXiv
Lean formalisations (1)
plasma-ai/erdos-809 at dfc1cd9b5f21
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.