Lean repository linked
The Burr-Erdős-Graham-Sós conjecture for the seven-cycle
arXiv:2609.38286 · arXiv
Lean formalisations (1)
Asad-Shahab/erdos-809-lean at 78c7f1a3b047
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.