職業分類
ソフトウェア開発者
説明
Prove a specific sorry'd lemma iteratively using Lean LSP tools.
原文の言語: 英語
更新
jeffrey-dot-li/lean-homology
SkillsMP は jeffrey-dot-li/lean-homology から 8 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
- 記録された最新のソース活動
- SkillsMP カタログ更新
- 収集済み skills
- 8
- GitHub スター
- 2
- GitHub フォーク
- 0
収集済み skill 8 件中 8 件を表示しています。
skill
職業分類
説明
更新
職業分類
ソフトウェア開発者
説明
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Fix warnings line by line and bring code into compliance with Mathlib style standards.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Improve an existing working proof for structural clarity, succinctness, or reusability.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Draft sorry'd theorem/lemma structure for a larger result from a proof sketch.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Fill a sorry one step at a time, directed by the user.
原文の言語: 英語
更新
職業分類
数学者
説明
Read and discuss proofs, strategies, or math concepts without making any edits.
原文の言語: 英語
更新
職業分類
物理学者
説明
Find whether a theorem/concept exists in Mathlib and locate building blocks for a new theorem.
原文の言語: 英語
更新
収集済み skill 8 件中 8 件を表示しています。