users/natalie/vim/default.nix

@@ -4,6 +4,7 @@
     ./keybinds.nix
     ./languages.nix
     ./latex.nix
+    ./lean.nix
     ./visuals.nix
     ./mini.nix
   ];

users/natalie/vim/languages.nix

@@ -11,7 +11,6 @@
       python312Packages.pylatexenc
     ];
     languages = {
-      lua.lsp.lazydev.enable = true;
       python = {
         format.type = "ruff";
       };

users/natalie/vim/lean.nix

@@ -0,0 +1,11 @@
+{ pkgs, ... }:
+{
+  vim = {
+    lazy.plugins."lean.nvim" = {
+      enabled = true;
+      package = pkgs.vimPlugins.lean-nvim;
+      lazy = true;
+      ft = "lean";
+    };
+  };
+}

users/natalie/vim/mini.nix

@@ -4,7 +4,6 @@
     mini = {
       icons.enable = true;
       ai.enable = true;
-      surround.enable = true;
     };
   };
 }