@misc{indiciae5b6ca637809c,
  title = {Formalizing Carleson's Theorem in Lean},
  author = {Lars Becker and María Inés de Frutos-Fernández and Leo Diedering and Floris van Doorn and Sébastien Gouëzel and Evgenia Karunus and Edward van de Meent and Pietro Monticone and Jasper Mulder-Sohn and Jim Portegies and Joris Roos and Michael Rothgang and James Sundstrom and Jeremy Tan},
  year = {2026},
  url = {https://arxiv.org/abs/2609.31334},
  note = {Source identifier: 2609.31334}
}