lean4-theorem-proving
@clawhub_wu-uk/lean4-proof-lean4-theorem-proving
By wu-uk
About this Skill
Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or...
代码生成Bug 修复
Skill files and instructions
Read SKILL.md and the other instructions or configuration files published with this Skill.
Loading file list
Details
- Category
- Development
- Source
- clawhub
- Version
- 0.1.0
- Updated
- Sep 23, 2026