From a52fe6273deaf6dd04bf3f589a0231cd05051d0f Mon Sep 17 00:00:00 2001
From: stefan <stefan@s00.xyz>
Date: Tue, 11 Mar 2025 02:23:51 -0400
Subject: sync

---
 modules/neovim/default.nix | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'modules/neovim/default.nix')

diff --git a/modules/neovim/default.nix b/modules/neovim/default.nix
index 945fbf2..525eee5 100644
--- a/modules/neovim/default.nix
+++ b/modules/neovim/default.nix
@@ -37,6 +37,14 @@ in
           tree-sitter-markdown-inline
         ]))
 
+        {
+          plugin = lean-nvim;
+          config = ''
+            require('lean').setup{ mappings = true }
+          '';
+          type = "lua";
+        }
+        plenary-nvim
         blink-cmp
         nvim-lspconfig
         base16-nvim
-- 
cgit v1.2.3