lean4-theorem-proving
@clawhub_wu-uk/lean4-proof-lean4-theorem-proving
作者：wu-uk
关于这个 Skill
适用于 Lean4（.lean 文件）中的数学证明编写、‘failed to synthesize instance’ 错误排查以及 sorry/axiom 消除等场景
代码生成Bug 修复
Skill 文件与使用说明
查看 SKILL.md 以及作者随 Skill 发布的其他说明和配置文件。
正在读取文件列表
详细信息
- 分类
- 开发编程
- 来源
- clawhub
- 版本
- 0.1.0
- 更新时间
- 2026年9月24日