nvim lsp deprecation

nvim/lua/plugins.lua

@@ -25,6 +25,18 @@ return require('packer').startup({
             'whonore/Coqtail'
         }
 
+        use {
+            'Julian/lean.nvim',
+            requires = {
+                'nvim-lua/plenary.nvim',
+            },
+            config = function()
+                require("lean").setup({
+                    opts = { mappings = true }
+                })
+            end
+        }
+
         use {
             'noir-lang/noir-nvim'
         }