Proof Automation

Lean LSP MCP-server

Lean LSP MCP-serveren bygger bro mellom AI-assistenter og Lean Theorem Prover-prosjekter ved hjelp av Language Server Protocol, og muliggjør tilgang til diagnos...