Proof Automation

Lean LSP MCP Server

Il server Lean LSP MCP collega assistenti AI e progetti Lean Theorem Prover tramite il Language Server Protocol, consentendo agli agenti di accedere a diagnosti...