2 ms·Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri"1 points by baby 9mo ago