Added so much stuff

dotfiles/neovim/lua/my/plugins/lean.lua

@@ -0,0 +1,22 @@
+local env = require("my.helpers.env")
+local lspconfig = require("my.plugins.lspconfig")
+
+local M = {
+  "Julian/lean.nvim", -- lean support
+  dependencies = { "neovim/nvim-lspconfig", "nvim-lua/plenary.nvim", "hrsh7th/nvim-cmp" },
+  ft = "lean",
+  config = function()
+    require("lean").setup({
+      abbreviations = { builtin = true, cmp = true },
+      lsp = {
+        on_attach = lspconfig.on_attach,
+        capabilities = lspconfig.capabilities(),
+      },
+      lsp3 = false,
+      mappings = true,
+    })
+  end,
+  cond = env.vscode.not_active(),
+}
+
+return {}