Lean repository linked

On a conjecture of Marton

W. T. Gowers, Ben Green, Freddie Manners, Terence Tao · 2023

arXiv:2311.05762 · arXiv

Lean formalisations (1)

teorth/pfr at `61bbfc446a44`

Linked by the repository’s formalization.yaml.

Project review: self-assessed

Audit: awaiting publication.

Report this listing