Manuel Eberl, Wenda Li 0001, Lawrence C. Paulson. From Weierstraß to Dedekind via Jacobi: Formalising Foundations of Modular Forms. In Ekaterina Komendantskaya, Tobias Nipkow, editors, 17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026. Volume 382 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.