Formalizing the proof of PFR in Lean4 using Blueprint (terrytao.wordpress.com) 3 points by kachnuv_ocasek 2y ago ↗ HN
0 comments
[ 3.3 ms ] story [ 12.5 ms ] threadNo comments yet.