plugins

lua/custom/plugins/lean.lua

@@ -0,0 +1,18 @@
+return {
+  'Julian/lean.nvim',
+  event = { 'BufReadPre *.lean', 'BufNewFile *.lean' },
+
+  dependencies = {
+    'neovim/nvim-lspconfig',
+    'nvim-lua/plenary.nvim',
+    -- you also will likely want nvim-cmp or some completion engine
+  },
+
+  -- see details below for full configuration options
+  opts = {
+    lsp = {
+      on_attach = on_attach,
+    },
+    mappings = true,
+  }
+}