Software Development
Lean Formalize
Develop and verify a mathematical proof in Lean, continue an incomplete Lean project, or audit whether it proves the original statement. Connect actual inputs to intermediate lemmas, assemble the target theorem, check its transitive axioms, and provide a reproducible handoff. Use when Lean is requested or a specific proof obligation benefits from formal verification; use proof-writer for ordinary mathematical drafting.
- Publisher / source
- wanshuiyin/Auto-claude-code-research-in-sleep (found on skills.sh, an awesome list)
- Upstream record
- wanshuiyin/Auto-claude-code-research-in-sleep
- Version
- Version 3
- Published
- Publication review
- Approved for publication
- Content fingerprint
e4f9fc9d1158ded51ff956ee521107ee32a2bc7c6000395e60ec4f52cc910ffe