diff --git a/modules/home/zed.nix b/modules/home/zed.nix
index 621e746..adfd1fa 100644
--- a/modules/home/zed.nix
+++ b/modules/home/zed.nix
@@ -15,6 +15,7 @@
       "vue"
       "latex"
       "mermaid"
+      "lean4"
     ];
 
     userSettings = {