lean-skills — fiche et historique
Sept compétences organisées par domaine d'action plutôt que par sujet, incluant des compétences de tactiques et de Mathlib s'activant à chaque tâche.
Reformulée en français
- Langage
- Python
- Licence
- Apache-2.0
- Création
- Dernière activité
- Topics
- agent-skills
- claude-code
- claude-code-skills
- formal-verification
- lean4
- mathlib
- theorem-proving
Installer git clone https://github.com/matt-w-horn/lean-skills ~/.claude/skills/lean-skills
Mesure actuelle
1étoiles GitHubstable
progression mesuréeLe momentum utilise les relevés disponibles des 7 derniers jours : mesuré avec au moins deux relevés comparables, estimé sinon.
Historique des relevés
| Date | Valeur | Métrique |
|---|---|---|
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub |
Classements
- Domaines
- Type
- Skills pour agents
- Usages
Outils voisins
Ces entrées déclarent les mêmes sujets. Aucune similarité n’est déduite : seuls les sujets communs sont indiqués.