Software Development
Lean Theorem Proving Guide
LLM agent for formal theorem proving in Lean 4
- Publisher / source
- brycewang-stanford/Auto-Empirical-Research-Skills (found on GitHub top repositories)
- Upstream record
- brycewang-stanford/Auto-Empirical-Research-Skills
- Version
- Version 1
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-05
- Content fingerprint
ada4b9f667071e78a5d335278115ae121651f513d6aa31528c72caf427376795