oOo0oOo / lean-lsp-mcpLinks

Lean Theorem Prover MCP
33Updated this week

Alternatives and similar repositories for lean-lsp-mcp

Users that are interested in lean-lsp-mcp are comparing it to the libraries listed below

Sorting: