Formalizing the proof of PFR in Lean4 using Blueprintterrytao.wordpress.com3 points·kachnuv_ocasek··0 commentsOpen articleSaveView on HN