project-numina

LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification

Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs