Formalizing the Proof of Polynomial Freiman-Ruzsa in Lean4terrytao.wordpress.com5 pointsjjgreen3 years ago