职业分类
软件开发工程师
描述
Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs
原文语言：英语
更新
project-numina/numina-lean-agent
SkillsMP 已收集 project-numina/numina-lean-agent 中的 6 个 Skill。打开任一 Skill 可查看来源和详情。
- 最近记录的来源活动
- SkillsMP 收录数据更新
- 已收集 skills
- 6
- GitHub 星标
- 271
- GitHub Forks
- 31
这个仓库中的 skills
2 个职业分类 · 已分类 100%
已展示 6 / 6 个已收集 Skill。
skill
职业分类
描述
更新
职业分类
软件开发工程师
描述
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
原文语言：英语
更新
职业分类
软件开发工程师
描述
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
原文语言：英语
更新
职业分类
软件开发工程师
描述
Code transformation tools for repairing, simplifying, and extracting Lean proofs
原文语言：英语
更新
职业分类
软件开发工程师
描述
Isolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple complex Lean 4 proofs.
原文语言：英语
更新
职业分类
软件质量保证分析师与测试员
描述
Verification tools for compiling, validating, and disproving Lean theorems
原文语言：英语
更新
已展示 6 / 6 个已收集 Skill。