Beruf
Softwareentwickler
Beschreibung
Prove a specific sorry'd lemma iteratively using Lean LSP tools.
Quellsprache: Englisch
Aktualisiert
jeffrey-dot-li/lean-homology
SkillsMP hat 8 Skills aus jeffrey-dot-li/lean-homology gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
- Letzte erfasste Quellaktivität
- SkillsMP-Katalog aktualisiert
- gesammelte Skills
- 8
- GitHub-Stars
- 2
- GitHub-Forks
- 0
Skills in diesem Repository
3 Berufskategorien · 100% klassifiziert
Es werden 8 von 8 gesammelten Skills angezeigt.
Skill
Beruf
Beschreibung
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Fix warnings line by line and bring code into compliance with Mathlib style standards.
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Improve an existing working proof for structural clarity, succinctness, or reusability.
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Draft sorry'd theorem/lemma structure for a larger result from a proof sketch.
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Fill a sorry one step at a time, directed by the user.
Quellsprache: Englisch
Aktualisiert
Beruf
Mathematiker
Beschreibung
Read and discuss proofs, strategies, or math concepts without making any edits.
Quellsprache: Englisch
Aktualisiert
Beruf
Physiker
Beschreibung
Find whether a theorem/concept exists in Mathlib and locate building blocks for a new theorem.
Quellsprache: Englisch
Aktualisiert
Es werden 8 von 8 gesammelten Skills angezeigt.