Serveur Lean LSP MCP
Le serveur Lean LSP MCP fait le lien entre les assistants IA et les projets Lean Theorem Prover via le Language Server Protocol, permettant aux agents d’accéder...
4 min de lecture
Lean
LSP
+4
Lean
Chargement...
Le serveur Lean LSP MCP fait le lien entre les assistants IA et les projets Lean Theorem Prover via le Language Server Protocol, permettant aux agents d’accéder...