Loading listing…
lean-formalize
Security scan passedDevelop and verify a mathematical proof in Lean, continue an incomplete Lean project, or audit whether it proves the or…
Part of ARIS
by wanshuiyin· Developer toolsUnclaimed · Yours? Claim it
What lean-formalize does
About
Develop and verify a mathematical proof in Lean, continue an incomplete Lean project, or audit whether it proves the original statement. Connect actual inputs to intermediate lemmas, assemble the target theorem, check its transitive axioms, and provide a reproducible handoff. Use when Lean is requested or a specific proof obligation benefits from formal verification; use proof-writer for ordinary mathematical drafting.
Install lean-formalize
More from Developer tools
Skills people install alongside lean-formalize.
