職業分類
ソフトウェア開発者
説明
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 フォーク
- 31
このリポジトリの skills
2 件の職業カテゴリ · 100% 分類済み
収集済み skill 6 件中 6 件を表示しています。
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
原文の言語: 英語
更新
収集済み skill 6 件中 6 件を表示しています。