diff --git a/fnl/plugins/init.fnl b/fnl/plugins/init.fnl
index a539ad9..0abf112 100644
--- a/fnl/plugins/init.fnl
+++ b/fnl/plugins/init.fnl
@@ -163,6 +163,23 @@
             (let [roslyn (require :roslyn)]
               (roslyn.setup {})))}
 
+ ;; lean.nvim - Lean 4 support: LSP (via `lake serve`), infoview, unicode
+ ;; abbreviations (\to -> →), :Telescope loogle. Self-activates on *.lean and
+ ;; registers its own LSP client, so no vim.lsp.config entry is needed.
+ ;; Needs `lake`/`lean` on PATH (elan, ~/.elan/bin); :init prepends it so a
+ ;; stale parent shell/tmux PATH doesn't cause "language server not installed".
+ ;; Configured via vim.g.lean_config; require("lean").setup is deprecated, so
+ ;; :config is disabled to keep lazy.nvim from calling it through :opts.
+ {repo "Julian/lean.nvim"
+  :event ["BufReadPre *.lean" "BufNewFile *.lean"]
+  :init (fn []
+          (let [elan-bin (vim.fn.expand "~/.elan/bin")]
+            (when (and (= 1 (vim.fn.isdirectory elan-bin))
+                       (not (vim.startswith vim.env.PATH (.. elan-bin ":"))))
+              (set vim.env.PATH (.. elan-bin ":" vim.env.PATH))))
+          (set vim.g.lean_config {:mappings true}))
+  :config false}
+
  ;; marks.nvim - Show mark letters in the sign column
  {repo "chentoast/marks.nvim"
   :event "VeryLazy"
diff --git a/lazy-lock.json b/lazy-lock.json
index 80d6206..c2231f8 100644
--- a/lazy-lock.json
+++ b/lazy-lock.json
@@ -1,23 +1,24 @@
 {
   "blink.cmp": { "branch": "main", "commit": "78336bc89ee5365633bcf754d93df01678b5c08f" },
-  "claudecode.nvim": { "branch": "main", "commit": "102d835c964069c9c5e37abaf05ae4f9c3ee6f00" },
-  "conjure": { "branch": "main", "commit": "f7a375995a19fbf085707ea0fdb1f9c167e27e27" },
-  "gitsigns.nvim": { "branch": "main", "commit": "dd3f588bacbeb041be6facf1742e42097f62165d" },
+  "claudecode.nvim": { "branch": "main", "commit": "2390c6e45c4789072c293ac69de051d169668b29" },
+  "conjure": { "branch": "main", "commit": "349256ada7f73801f6e832abec1ac8eac32bf788" },
+  "gitsigns.nvim": { "branch": "main", "commit": "8d79f2410c76e62b92e51c28c82e28c1c5a3daeb" },
   "hop.nvim": { "branch": "master", "commit": "08ddca799089ab96a6d1763db0b8adc5320bf050" },
   "lazy.nvim": { "branch": "main", "commit": "306a05526ada86a7b30af95c5cc81ffba93fef97" },
+  "lean.nvim": { "branch": "main", "commit": "950eff1ae00db2b2f35996cb916c1a47254c3c96" },
   "marks.nvim": { "branch": "master", "commit": "f353e8c08c50f39e99a9ed474172df7eddd89b72" },
   "mason-tool-installer.nvim": { "branch": "main", "commit": "443f1ef8b5e6bf47045cb2217b6f748a223cf7dc" },
-  "mason.nvim": { "branch": "main", "commit": "e54f5bf5f12c560da31c17eee5b3e1bd369f3ff9" },
-  "nfnl": { "branch": "main", "commit": "ac0177c5549df7abba7a19554c18a7765386c894" },
-  "nvim-treesitter": { "branch": "main", "commit": "4916d6592ede8c07973490d9322f187e07dfefac" },
+  "mason.nvim": { "branch": "main", "commit": "2a6940af80375532e5e9e7c1f2fc6319a1b7a69d" },
+  "nfnl": { "branch": "main", "commit": "a4c47a1e7e52aaf234b358f73135acf783054e35" },
+  "nvim-treesitter": { "branch": "main", "commit": "f603a2f4da48728f80257fb5fbb90145fd1dc173" },
   "plenary.nvim": { "branch": "master", "commit": "74b06c6c75e4eeb3108ec01852001636d85a932b" },
-  "roslyn.nvim": { "branch": "main", "commit": "b62d1a588765f0aa1b46ed260252c9e456408835" },
-  "snacks.nvim": { "branch": "main", "commit": "ad9ede6a9cddf16cedbd31b8932d6dcdee9b716e" },
+  "roslyn.nvim": { "branch": "main", "commit": "bf1bd4e70bc7068d1b4aebf4ce03cc19a86615be" },
+  "snacks.nvim": { "branch": "main", "commit": "882c996cf28183f4d63640de0b4c02ec886d01f2" },
   "supermaven-nvim": { "branch": "main", "commit": "07d20fce48a5629686aefb0a7cd4b25e33947d50" },
-  "telescope.nvim": { "branch": "master", "commit": "f04ab730b8f9c6bf3f54a206d0dcddfd70c52d59" },
+  "telescope.nvim": { "branch": "master", "commit": "40aedd8a68c78a656a10a8d62d80c54af59420fb" },
   "tokyonight.nvim": { "branch": "main", "commit": "cdc07ac78467a233fd62c493de29a17e0cf2b2b6" },
   "vim-repeat": { "branch": "master", "commit": "65846025c15494983dafe5e3b46c8f88ab2e9635" },
-  "vim-sexp": { "branch": "master", "commit": "c6e7180781c5603f5ea0e2305adb0c117e4f8284" },
+  "vim-sexp": { "branch": "master", "commit": "1bf50921308f0188d1c1ecf8a712cc72ab2775e5" },
   "vim-sexp-mappings-for-regular-people": { "branch": "master", "commit": "4debb74b0a3e530f1b18e5b7dff98a40b2ad26f1" },
   "vim-surround": { "branch": "master", "commit": "3d188ed2113431cf8dac77be61b842acb64433d9" },
   "which-key.nvim": { "branch": "main", "commit": "3aab2147e74890957785941f0c1ad87d0a44c15a" }