GitHub repository: pitmonticone/carleson
Primary language: TeX
Description: [WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.