Formalizing the proof of PFR in Lean4 using Blueprint

by kachnuv_ocasekon 11/20/2023, 9:18 AMwith 0 comments

0