AlphaUncommon
ByteDance-Seed/Seed-Prover
No description.
- Owner
- ByteDance-Seed (organization)
- Stars
- Stars: 442
- Forks
- Forks: 29
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by ByteDance-Seed
All 31 repos by ByteDance-Seed- ByteDance-Seed/Depth-Anything-3Stars: 6,615PythonStable
- ByteDance-Seed/BagelStars: 6,206PythonStable
- ByteDance-Seed/VeOmniStars: 2,273PythonRC
- ByteDance-Seed/Seed1.5-VLStars: 1,594Jupyter NotebookBeta
- ByteDance-Seed/Triton-distributedStars: 1,577PythonBeta
- ByteDance-Seed/m3-agentStars: 1,471PythonBeta
Nearby in Lean
All Lean repos- lecopivo/SciLeanStars: 540LeanAlpha
- jinshanmu/CrouzeixConjectureStars: 531LeanAlpha
- anthropics/formal-mathStars: 449LeanAlpha
- leanprover-community/batteriesStars: 428LeanAlpha
- PatrickMassot/GlimpseOfLeanStars: 428LeanAlpha
- digama0/mm0Stars: 422LeanAlpha