Proof Automation

Lean LSP MCP Server

Lean LSP MCP-servern bygger en bro mellan AI-assistenter och Lean Theorem Prover-projekt med hjälp av Language Server Protocol, vilket möjliggör åtkomst till di...