Robuta

https://physlib.io/docs/Lean/Data/Lsp/Client.html Lean.Data.Lsp.Client lsp client lean data https://vimtricks.wiki/posts/neovim-lsp-config-declarative How do I configure an LSP client in Neovim 0.11 without using nvim-lspconfig? | VimTricks how do i lsp client configure neovim without https://lsp-client.github.io/ LSP Client Ecosystem: IntelliSense for Agentic Coding LSP Client Ecosystem lsp client agentic coding ecosystem intellisense