← All publishers

project-numina

4 skillsAvg Trust: 47280 total stars
4 skills
llm
Scanned
project-numina/numina-lean-agent
Trust: 67230 starsproject-numina/numina-lean-agentv1.0.01mo ago
search
Scanned
project-numina/numina-lean-agent
Trust: 40280 starsproject-numina/numina-lean-agentv1.0.017d ago
sorrifier
Scanned
Isolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple ...
Trust: 40project-numina/numina-lean-agentv1.0.010d ago
verification
Scanned
Verification tools for compiling, validating, and disproving Lean theorems
Trust: 40project-numina/numina-lean-agentv1.0.0today
All 4 skills loaded