From b073fa879ef428439803ad6f330abb798aba6f7d Mon Sep 17 00:00:00 2001
From: Atridad Lahiji <me@atri.dad>
Date: Wed, 11 Mar 2026 08:06:36 -0600
Subject: [PATCH] 1773237996

---
 modules/home/packages.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/modules/home/packages.nix b/modules/home/packages.nix
index 3b8aea0..41abe91 100644
--- a/modules/home/packages.nix
+++ b/modules/home/packages.nix
@@ -15,6 +15,8 @@
     texlab
     nil
     nixd
+    lean4
+    elan
 
     # CLI
     bitwarden-cli