Prover
About Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Resources
Product Website
Visit Prover's official website for product details and getting started.
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Visit Prover's official website for product details and getting started.