Formalizing Finite Ramsey Theory in Lean 4. - David E. Narváez; Cruise Song; Ningxin Zhang (CICM, 2024)