Add lean

lua/plugins/lean.lua

@@ -3,9 +3,20 @@ return {{
   event = { 'BufReadPre *.lean', 'BufNewFile *.lean' },
   dependencies = {
     'nvim-lua/plenary.nvim',
+
+    -- optional dependencies:
+
+    -- a completion engine
+    --    hrsh7th/nvim-cmp or Saghen/blink.cmp are popular choices
+
+    -- 'nvim-telescope/telescope.nvim', -- for 2 Lean-specific pickers
+    -- 'andymass/vim-matchup',          -- for enhanced % motion behavior
+    -- 'andrewradev/switch.vim',        -- for switch support
+    -- 'tomtom/tcomment_vim',           -- for commenting
   },
+
   ---@type lean.Config
-  opts = {
+  opts = { -- see below for full configuration options
     mappings = true,
-  },
+  }
 }}