Lean LSP MCP Server
Serwer Lean LSP MCP łączy asystentów AI z projektami Lean Theorem Prover za pomocą Language Server Protocol, umożliwiając agentom dostęp do diagnostyki, stanów ...
4 min czytania
Lean
LSP
+4
Proof Automation
Serwer Lean LSP MCP łączy asystentów AI z projektami Lean Theorem Prover za pomocą Language Server Protocol, umożliwiając agentom dostęp do diagnostyki, stanów ...