Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete #1 Post by navidhg » Tue, Dec 05, 2023, 10:49 AM UTC Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is completemathstodon.xyz