M mathstodon.xyz Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete 4 points navidhg 2 years ago 0 comments
