occupation
Software Developers
description
Prove a specific sorry'd lemma iteratively using Lean LSP tools.
updated
jeffrey-dot-li/lean-homology
SkillsMP has collected 8 skills from jeffrey-dot-li/lean-homology. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 8
- GitHub stars
- 2
- GitHub forks
- 0
Skills in this repository
3 occupation categories · 100% classified
Showing 8 of 8 collected skills.
skill
occupation
description
updated
occupation
Software Developers
description
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
updated
occupation
Software Developers
description
Fix warnings line by line and bring code into compliance with Mathlib style standards.
updated
occupation
Software Developers
description
Improve an existing working proof for structural clarity, succinctness, or reusability.
updated
occupation
Software Developers
description
Draft sorry'd theorem/lemma structure for a larger result from a proof sketch.
updated
occupation
Software Developers
description
Fill a sorry one step at a time, directed by the user.
updated
occupation
Mathematicians
description
Read and discuss proofs, strategies, or math concepts without making any edits.
updated
occupation
Physicists
description
Find whether a theorem/concept exists in Mathlib and locate building blocks for a new theorem.
updated
Showing 8 of 8 collected skills.