ByteDance-Seed / ByteDance-Seed/Seed-Prover
Availability of the Lean4 DSL
Open
- Dominant language
- Lean
- Stars
- 442
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
Do you plan to release the DSL used for Delta-Prover? They do not appear to be a part of the `leansim_lean_runtime.zip` file released with the report.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.