From Weierstra to Dedekind via Jacobi: Formalising Foundations of Modular Forms.

Manuel Eberl, Wenda Li, Lawrence C. Paulson

Browse the full ITP paper archive.