Formalizing the proof of PFR in Lean4 using Blueprint

3 points| kachnuv_ocasek | 2 years ago |terrytao.wordpress.com