skill
المهنة
الوصف
آخر تحديث
numina-lean-agent
مطوّرو البرمجيات
Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs
٣٠ أبريل ٢٠٢٦
llm
مطوّرو البرمجيات
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
٣٠ أبريل ٢٠٢٦
search
مطوّرو البرمجيات
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
٣٠ أبريل ٢٠٢٦
code-transform
مطوّرو البرمجيات
Code transformation tools for repairing, simplifying, and extracting Lean proofs
٧ أبريل ٢٠٢٦
sorrifier
مطوّرو البرمجيات
Isolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple complex Lean 4 proofs.
٧ أبريل ٢٠٢٦
verification
محللو ضمان جودة البرمجيات والمختبرون
Verification tools for compiling, validating, and disproving Lean theorems
٧ أبريل ٢٠٢٦