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