Lean LSP MCP Server
Lean LSP MCP server prepája AI asistentov s projektmi Lean Theorem Prover cez Language Server Protocol, čím umožňuje agentom prístup k diagnostike, stavom cieľo...
4 min čítania
Lean
LSP
+4
Proof Automation
Lean LSP MCP server prepája AI asistentov s projektmi Lean Theorem Prover cez Language Server Protocol, čím umožňuje agentom prístup k diagnostike, stavom cieľo...