Lean LSP MCP Server
Serverul Lean LSP MCP face legătura între asistenții AI și proiectele Lean Theorem Prover folosind Language Server Protocol, permițând agenților acces la diagno...
4 min citire
Lean
LSP
+4
Proof Automation
Se încarcă...
Serverul Lean LSP MCP face legătura între asistenții AI și proiectele Lean Theorem Prover folosind Language Server Protocol, permițând agenților acces la diagno...