@misc{indiciae4ad5c207b3dd,
  title = {A blueprint for the formalization of Carleson's theorem on convergence of Fourier series},
  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 Asgar Jamneshan 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 Rajula Srivastava and James Sundstrom and Jeremy Tan and Christoph Thiele},
  year = {2025},
  url = {https://arxiv.org/abs/2405.06423},
  note = {Source identifier: 2405.06423}
}