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