Formal Proof of Dilworth's Theorem. - Vivek Soorya Maadoori; Syed Mohammad Meesum; Shiv Pillai; T. V. H. Prathamesh; Aditya Swami (Arch. Formal Proofs, 2025)