Hacker News new | ask | show | jobs
Formalizing the proof of PFR in Lean4 using Blueprint (terrytao.wordpress.com)
3 points by kachnuv_ocasek 944 days ago