ocupación
Desarrolladores de software
descripción
Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs
Idioma del texto original: inglés
actualizado
project-numina/numina-lean-agent
SkillsMP ha recopilado 6 skills de project-numina/numina-lean-agent. Abre una skill para revisar su origen y sus detalles.
- Última actividad de origen registrada
- Catálogo de SkillsMP actualizado
- skills recopiladas
- 6
- Estrellas en GitHub
- 271
- Forks en GitHub
- 31
Skills en este repositorio
2 categorías ocupacionales · 100% clasificado
Mostrando 6 de 6 skills recopiladas.
skill
ocupación
descripción
actualizado
ocupación
Desarrolladores de software
descripción
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Code transformation tools for repairing, simplifying, and extracting Lean proofs
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Isolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple complex Lean 4 proofs.
Idioma del texto original: inglés
actualizado
ocupación
Analistas de garantía de calidad de software y probadores
descripción
Verification tools for compiling, validating, and disproving Lean theorems
Idioma del texto original: inglés
actualizado
Mostrando 6 de 6 skills recopiladas.