diff --git a/users/natalie/vim/default.nix b/users/natalie/vim/default.nix
index a4f01cf..4634262 100644
--- a/users/natalie/vim/default.nix
+++ b/users/natalie/vim/default.nix
@@ -3,6 +3,7 @@
     ./keybinds.nix
     ./languages.nix
     ./latex.nix
+    ./lean.nix
+    ./ui.nix
   ];
-
 }
diff --git a/users/natalie/vim/lean.nix b/users/natalie/vim/lean.nix
new file mode 100644
index 0000000..8503935
--- /dev/null
+++ b/users/natalie/vim/lean.nix
@@ -0,0 +1,10 @@
+{pkgs, ...}: {
+  vim = {
+    lazy.plugins."lean.nvim" = {
+      enabled = true;
+      package = pkgs.vimPlugins.lean-nvim;
+      lazy = true;
+      ft = "lean";
+    };
+  };
+}
diff --git a/users/natalie/vim/ui.nix b/users/natalie/vim/ui.nix
new file mode 100644
index 0000000..531a3cd
--- /dev/null
+++ b/users/natalie/vim/ui.nix
@@ -0,0 +1,16 @@
+{pkgs, ...}: {
+  vim = {
+    ui = {
+      borders = {
+        enable = true;
+      };
+    };
+
+    # Better help docs
+    lazy.plugins."helpview-nvim" = {
+      enabled = true;
+      package = pkgs.vimPlugins.helpview-nvim;
+      lazy = false;
+    };
+  };
+}