职业分类
软件开发工程师
描述
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 Forks
- 0
已展示 8 / 8 个已收集 Skill。
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.
原文语言：英语
更新
已展示 8 / 8 个已收集 Skill。