Beruf
Softwareentwickler
Beschreibung
Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs
Quellsprache: Englisch
Aktualisiert
project-numina/numina-lean-agent
SkillsMP hat 6 Skills aus project-numina/numina-lean-agent gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
- Letzte erfasste Quellaktivität
- SkillsMP-Katalog aktualisiert
- gesammelte Skills
- 6
- GitHub-Stars
- 271
- GitHub-Forks
- 31
Skills in diesem Repository
2 Berufskategorien · 100% klassifiziert
Es werden 6 von 6 gesammelten Skills angezeigt.
Skill
Beruf
Beschreibung
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Code transformation tools for repairing, simplifying, and extracting Lean proofs
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Isolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple complex Lean 4 proofs.
Quellsprache: Englisch
Aktualisiert
Beruf
Softwarequalitätssicherungsanalysten und -tester
Beschreibung
Verification tools for compiling, validating, and disproving Lean theorems
Quellsprache: Englisch
Aktualisiert
Es werden 6 von 6 gesammelten Skills angezeigt.