métier
Développeurs de logiciels
description
Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs
Langue du texte source : anglais
mis à jour
project-numina/numina-lean-agent
SkillsMP a collecté 6 skills depuis project-numina/numina-lean-agent. Ouvrez un skill pour examiner sa source et ses détails.
- Dernière activité source enregistrée
- Catalogue SkillsMP mis à jour
- skills collectés
- 6
- Étoiles GitHub
- 271
- Forks GitHub
- 31
Skills dans ce dépôt
2 catégories métier · 100% classifié
Affichage de 6 skills collectés sur 6.
skill
métier
description
mis à jour
métier
Développeurs de logiciels
description
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Code transformation tools for repairing, simplifying, and extracting Lean proofs
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Isolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple complex Lean 4 proofs.
Langue du texte source : anglais
mis à jour
métier
Analystes en assurance qualité des logiciels et testeurs
description
Verification tools for compiling, validating, and disproving Lean theorems
Langue du texte source : anglais
mis à jour
Affichage de 6 skills collectés sur 6.