Formalizing the proof of PFR in Lean4 using Blueprint

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

This post has no comments