Lean repository linked
On Graham's rearrangement conjecture
arXiv:2602.15797 · arXiv
Lean formalisations (1)
vltanh/lean4-graham-rearrangement-conjecture at e4d1034e0266
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.