AlphaUncommon
jinshanmu/CrouzeixConjecture
Research draft of a candidate proof of Crouzeix's conjecture
- Owner
- jinshanmu (personal account)
- Stars
- Stars: 532
- Forks
- Forks: 71
- Language
- Lean
- License
- None
- Created
- 2026
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Lean
All Lean repos- anthropics/FlashProveStars: 583LeanAlpha
- teorth/equational_theoriesStars: 565LeanAlpha
- lecopivo/SciLeanStars: 544LeanAlpha
- anthropics/formal-mathStars: 457LeanAlpha
- ByteDance-Seed/Seed-ProverStars: 442LeanAlpha
- leanprover-community/batteriesStars: 428LeanAlpha