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: a short tour
terrytao.wordpress.com
99 points
georgehill
3 years ago
37 comments
Loading...
Formalizing the proof of PFR in Lean4 using Blueprint: a short tour | Heykuki News