Lean repository linked
Improved Exponent for Marton's Conjecture in 𝔽₂ⁿ
arXiv:2404.09639 · arXiv
Lean formalisations (1)
teorth/pfr at 61bbfc446a44
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.