From 42fad495a3f5542e1e6f36bb808d57d52fc21992 Mon Sep 17 00:00:00 2001
From: Atridad Lahiji <me@atri.dad>
Date: Wed, 11 Mar 2026 08:11:23 -0600
Subject: [PATCH] 1773238283

---
 modules/home/zed.nix | 1 +
 1 file changed, 1 insertion(+)

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 = {