Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Formalizing the Proof of Polynomial Freiman-Ruzsa in Lean4 | Heykuki News
Formalizing the Proof of Polynomial Freiman-Ruzsa in Lean4
terrytao.wordpress.com
5 points
jjgreen
3 years ago
No comment yet