@inproceedings{elp26,
  author="Eberl, Manuel and Li, Wenda and Paulson, Lawrence C.",
  title="From Weierstraß to Dedekind: Formalising Foundations of Modular Forms",
  year="To appear",
  publisher="Leibniz International Proceedings in Informatics",
  booktitle =	"17th International Conference on Interactive Theorem Proving (ITP 2026)",
  editor =	"Komendantskaya, Ekaterina and Nipkow, Tobias",
  address =	"Dagstuhl, Germany",
  sortyear="2026"
}