Lean repository linked

Lower bounds in the polynomial Szemerédi theorem

Khalid Younis · 2019

arXiv:1908.06058 · arXiv

Lean formalisations (1)

JD-Jones-ASES/ry-lean at `a4edb0ea6142`

Linked by the repository’s formalization.yaml.

Project review: self-assessed

Audit: awaiting publication.

Report this listing