ocupação
Desenvolvedores de software
descrição
Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs
Idioma do texto original: inglês
atualizado
project-numina/numina-lean-agent
O SkillsMP coletou 6 skills de project-numina/numina-lean-agent. Abra uma skill para revisar a origem e os detalhes.
- Última atividade de origem registrada
- Catálogo do SkillsMP atualizado
- skills coletadas
- 6
- Estrelas no GitHub
- 271
- Forks no GitHub
- 31
Skills neste repositório
2 categorias ocupacionais · 100% classificado
Mostrando 6 de 6 skills coletadas.
skill
ocupação
descrição
atualizado
ocupação
Desenvolvedores de software
descrição
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
Idioma do texto original: inglês
atualizado
ocupação
Desenvolvedores de software
descrição
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
Idioma do texto original: inglês
atualizado
ocupação
Desenvolvedores de software
descrição
Code transformation tools for repairing, simplifying, and extracting Lean proofs
Idioma do texto original: inglês
atualizado
ocupação
Desenvolvedores de software
descrição
Isolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple complex Lean 4 proofs.
Idioma do texto original: inglês
atualizado
ocupação
Analistas de garantia de qualidade de software e testadores
descrição
Verification tools for compiling, validating, and disproving Lean theorems
Idioma do texto original: inglês
atualizado
Mostrando 6 de 6 skills coletadas.