New
runqiwang777/tracer — A Lean 4 proof repair agent
runqiwang777/tracer is an agent repository that validates Lean 4 proof candidates with the compiler and attempts repairs using error diagnostics and related examples.
runqiwang777/tracer
runqiwang777/tracer is an agent repository that validates Lean 4 proof candidates with the compiler and attempts repairs using error diagnostics and related examples.
View on GitHub ↗- stars
- ★ 3
- Forks
- 0
- Language
- Lean
- License
- MIT
Posts
1No matching stories.