AlphaPeu commune
ByteDance-Seed/Seed-Prover
Pas de description.
- Propriétaire
- ByteDance-Seed (organisation)
- Étoiles
- Étoiles : 442
- Forks
- Forks : 29
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de ByteDance-Seed
Les 31 dépôts de ByteDance-Seed- ByteDance-Seed/Depth-Anything-3Étoiles : 6 615PythonStable
- ByteDance-Seed/BagelÉtoiles : 6 206PythonStable
- ByteDance-Seed/VeOmniÉtoiles : 2 273PythonRC
- ByteDance-Seed/Seed1.5-VLÉtoiles : 1 594Jupyter NotebookBêta
- ByteDance-Seed/Triton-distributedÉtoiles : 1 577PythonBêta
- ByteDance-Seed/m3-agentÉtoiles : 1 471PythonBêta
D’autres dépôts Lean
Tous les dépôts Lean- lecopivo/SciLeanÉtoiles : 540LeanAlpha
- jinshanmu/CrouzeixConjectureÉtoiles : 531LeanAlpha
- anthropics/formal-mathÉtoiles : 449LeanAlpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha
- PatrickMassot/GlimpseOfLeanÉtoiles : 428LeanAlpha
- digama0/mm0Étoiles : 422LeanAlpha