Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete (mathstodon.xyz) 4 points by navidhg 2y ago ↗ HN
0 comments
[ 849 ms ] story [ 1158 ms ] threadNo comments yet.