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