Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is completemathstodon.xyz4 points·navidhg··0 commentsOpen articleSaveView on HN