PrototypeCommune
fpvandoorn/carleson
A formalized proof of Carleson's theorem in Lean
- Propriétaire
- fpvandoorn (compte personnel)
- Étoiles
- Étoiles : 114
- Forks
- Forks : 43
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Sujets
- lean4
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- sunblaze-ucb/veroÉtoiles : 117LeanPrototype
- James-Hanson/junk-theorems-in-leanÉtoiles : 114LeanPrototype
- AxiomMath/Putnam2025Étoiles : 114LeanPrototype
- optsuite/optlibÉtoiles : 113LeanPrototype
- vihdzp/combinatorial-gamesÉtoiles : 113LeanPrototype