AlphaPeu commune
jinshanmu/CrouzeixConjecture
Research draft of a candidate proof of Crouzeix's conjecture
- Propriétaire
- jinshanmu (compte personnel)
- Étoiles
- Étoiles : 532
- Forks
- Forks : 71
- Langage
- Lean
- Licence
- Aucune
- Création
- 2026
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- AndrasKovacs/smallttÉtoiles : 611LeanAlpha
- teorth/equational_theoriesÉtoiles : 564LeanAlpha
- lecopivo/SciLeanÉtoiles : 542LeanAlpha
- anthropics/formal-mathÉtoiles : 454LeanAlpha
- ByteDance-Seed/Seed-ProverÉtoiles : 442LeanAlpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha