métier
Développeurs de logiciels
description
Prove a specific sorry'd lemma iteratively using Lean LSP tools.
Langue du texte source : anglais
mis à jour
jeffrey-dot-li/lean-homology
SkillsMP a collecté 8 skills depuis jeffrey-dot-li/lean-homology. Ouvrez un skill pour examiner sa source et ses détails.
- Dernière activité source enregistrée
- Catalogue SkillsMP mis à jour
- skills collectés
- 8
- Étoiles GitHub
- 2
- Forks GitHub
- 0
Skills dans ce dépôt
3 catégories métier · 100% classifié
Affichage de 8 skills collectés sur 8.
skill
métier
description
mis à jour
métier
Développeurs de logiciels
description
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Fix warnings line by line and bring code into compliance with Mathlib style standards.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Improve an existing working proof for structural clarity, succinctness, or reusability.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Draft sorry'd theorem/lemma structure for a larger result from a proof sketch.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Fill a sorry one step at a time, directed by the user.
Langue du texte source : anglais
mis à jour
métier
Mathématiciens
description
Read and discuss proofs, strategies, or math concepts without making any edits.
Langue du texte source : anglais
mis à jour
métier
Physiciens
description
Find whether a theorem/concept exists in Mathlib and locate building blocks for a new theorem.
Langue du texte source : anglais
mis à jour
Affichage de 8 skills collectés sur 8.