diff --git a/modules/applications/mathematics.nix b/modules/applications/mathematics.nix
index 943a2f0..2d8ce6e 100644
--- a/modules/applications/mathematics.nix
+++ b/modules/applications/mathematics.nix
@@ -1,7 +1,7 @@
 _: {
   flake.nixosModules.mathematics = {pkgs, ...}: {
     environment.systemPackages = with pkgs; [
-      lean4
+      elan
     ];
   }; 
 }