#

lean-language

Here is 1 public repository matching this topic...

sandraschi / leanforge-mcp

Lean theorem prover MCP: automated proof search, mathlib integration, job management

mcp theorem-proving formal-verification proof-search mathlib lean4 lean-language fastmcp alphaproof ai-assisted-proving

Updated Jul 29, 2026
Python

Improve this page

Add a description, image, and links to the lean-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lean-language topic, visit your repo's landing page and select "manage topics."