ByteDance-Seed/Seed-Prover

Stars: 442
Forks: 28
Open beginner issues: 0
Indexed issues: 3

Dominant language: Lean
License: Apache-2.0
Last GitHub push: Feb 13, 2026
Latest indexed: Sep 14, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

3 open issues indexed

Availability of the Lean4 DSL Open

ByteDance-Seed/Seed-Prover#3 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Release artifacts (models, dataset) on Hugging Face Open

ByteDance-Seed/Seed-Prover#4 · 0 comments · 4 reactions · 0 assignees · Indexed Sep 14, 2026
Code Release Open

ByteDance-Seed/Seed-Prover#6 · 1 comment · 2 reactions · 0 assignees · Indexed Sep 14, 2026

A short digest of beginner-friendly GitHub issues.