diff --git a/flake.nix b/flake.nix
index 8c5e823..90098cc 100644
--- a/flake.nix
+++ b/flake.nix
@@ -39,7 +39,7 @@
           .executable;
 
         devShells.default = pkgs.mkShell {
-          packages = with pkgs; [ lean4 ];
+          packages = with pkgs; [ elan ];
         };
       };
     };