Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Formalizing the proof of PFR in Lean4 using Blueprint | Heykuki News
Formalizing the proof of PFR in Lean4 using Blueprint
terrytao.wordpress.com
3 points
kachnuv_ocasek
3 years ago
No comment yet