PrototypeCommon
fpvandoorn/carleson
A formalized proof of Carleson's theorem in Lean
- Owner
- fpvandoorn (personal account)
- Stars
- Stars: 114
- Forks
- Forks: 43
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Topics
- lean4
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- sunblaze-ucb/veroStars: 117LeanPrototype
- James-Hanson/junk-theorems-in-leanStars: 114LeanPrototype
- AxiomMath/Putnam2025Stars: 114LeanPrototype
- optsuite/optlibStars: 113LeanPrototype
- vihdzp/combinatorial-gamesStars: 113LeanPrototype