occupation
Software Developers
description
Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs
updated
project-numina/numina-lean-agent
SkillsMP has collected 6 skills from project-numina/numina-lean-agent. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 6
- GitHub stars
- 271
- GitHub forks
- 31
Skills in this repository
2 occupation categories · 100% classified
Showing 6 of 6 collected skills.
skill
occupation
description
updated
occupation
Software Developers
description
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
updated
occupation
Software Developers
description
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
updated
occupation
Software Developers
description
Code transformation tools for repairing, simplifying, and extracting Lean proofs
updated
occupation
Software Developers
description
Isolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple complex Lean 4 proofs.
updated
occupation
Software Quality Assurance Analysts & Testers
description
Verification tools for compiling, validating, and disproving Lean theorems
updated
Showing 6 of 6 collected skills.