From d9969cbd715bba108e10a4f2ad297262ef2e2101 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1s=20Rivera?= <tomas.riveral@icloud.com>
Date: Tue, 9 Jun 2026 20:11:13 +0200
Subject: [PATCH] mathematics: init module with lean4

---
 modules/applications/mathematics.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
     ];
   }; 
 }