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 | Heykuki News
Formalizing the proof of PFR in Lean4 using Blueprint: a short tour
terrytao.wordpress.com
4 points
EvgeniyZh
3 years ago
No comment yet