A formalized proof of Carleson's theorem in Lean
Lean Updated 2 days ago 1 commits 116 stars
omega-coder|Mirror: fpvandoorn/carleson (⭐116)
2 days agoAbout
A formalized proof of Carleson's theorem in Lean
Readme
116 stars
44 forks
A formalized proof of Carleson's theorem in Lean
A formalized proof of Carleson's theorem in Lean