docs: update configs.md

skip-checks: true

2 files changed, 60 insertions, 4 deletions

diff --git a/doc/configs.md b/doc/configs.md
index 258f4335..b204b3b9 100644
--- a/doc/configs.md
+++ b/doc/configs.md
@@ -167,6 +167,7 @@ Nvim by running `:help lspconfig-all`.
 - [kulala_ls](#kulala_ls)
 - [laravel_ls](#laravel_ls)
 - [lean3ls](#lean3ls)
+- [leanls](#leanls)
 - [lelwel_ls](#lelwel_ls)
 - [lemminx](#lemminx)
 - [lexical](#lexical)
@@ -2400,11 +2401,11 @@ Default config:
   {
     editorInfo = {
       name = "Neovim",
-      version = "0.12.0-dev+gc2136e3590"
+      version = "0.12.0-dev+g4adfc4b7bc"
     },
     editorPluginInfo = {
       name = "Neovim",
-      version = "0.12.0-dev+gc2136e3590"
+      version = "0.12.0-dev+g4adfc4b7bc"
     }
   }
   ```
@@ -6405,6 +6406,35 @@ Default config:
 
 ---
 
+## leanls
+
+https://github.com/leanprover/lean4
+
+Lean installation instructions can be found
+[here](https://leanprover-community.github.io/get_started.html#regular-install).
+
+The Lean language server is included in any Lean installation and
+does not require any additional packages.
+
+Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim),
+that plugin fully handles the setup of the Lean language server,
+and you shouldn't set up `leanls` both with it and `lspconfig`.
+
+Snippet to enable the language server:
+```lua
+vim.lsp.enable('leanls')
+```
+
+Default config:
+- `cmd`: [../lsp/leanls.lua:15](../lsp/leanls.lua#L15)
+- `filetypes` :
+  ```lua
+  { "lean" }
+  ```
+- `root_dir`: [../lsp/leanls.lua:15](../lsp/leanls.lua#L15)
+
+---
+
 ## lelwel_ls
 
 https://github.com/0x2a-42/lelwel
diff --git a/doc/configs.txt b/doc/configs.txt
index d8f415e1..09221cc8 100644
--- a/doc/configs.txt
+++ b/doc/configs.txt
@@ -1564,11 +1564,11 @@ Default config:
   {
     editorInfo = {
       name = "Neovim",
-      version = "0.12.0-dev+gc2136e3590"
+      version = "0.12.0-dev+g4adfc4b7bc"
     },
     editorPluginInfo = {
       name = "Neovim",
-      version = "0.12.0-dev+gc2136e3590"
+      version = "0.12.0-dev+g4adfc4b7bc"
     }
   }
 - on_attach (use "gF" to view): ../lsp/copilot.lua:79
@@ -4613,6 +4613,32 @@ Default config:
 <
 
 ------------------------------------------------------------------------------
+leanls
+
+https://github.com/leanprover/lean4
+
+Lean installation instructions can be found
+[here](https://leanprover-community.github.io/get_started.html#regular-install).
+
+The Lean language server is included in any Lean installation and
+does not require any additional packages.
+
+Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim),
+that plugin fully handles the setup of the Lean language server,
+and you shouldn't set up `leanls` both with it and `lspconfig`.
+
+Snippet to enable the language server: >lua
+  vim.lsp.enable('leanls')
+
+
+Default config:
+- cmd (use "gF" to view): ../lsp/leanls.lua:15
+- filetypes: >lua
+  { "lean" }
+- root_dir (use "gF" to view): ../lsp/leanls.lua:15
+<
+
+------------------------------------------------------------------------------
 lelwel_ls
 
 https://github.com/0x2a-42/lelwel