mathematics: init module with lean4

2026-08-11 18:18:37 +02:00 · 2026-06-10 10:20:35 +02:00
parent 259ee7e554
commit d9969cbd71
1 changed files with 1 additions and 1 deletions
@@ -1,7 +1,7 @@
 _: {
  flake.nixosModules.mathematics = {pkgs, ...}: {
    environment.systemPackages = with pkgs; [
-      lean4
+      elan
    ];
  }; 
 }