GitHub repository: ldiedering/carleson
Primary language: TeX
Description: A formalized proof of Carleson's theorem in Lean