mathematics: init module with lean4

2026-08-12 02:28:37 +02:00 · 2026-06-10 10:19:51 +02:00
parent b1edbc9378
commit 68d81d5c4b
3 changed files with 9 additions and 0 deletions
@@ -0,0 +1,7 @@
+_: {
+  flake.nixosModules.mathematics = {pkgs, ...}: {
+    environment.systemPackages = with pkgs; [
+      elan
+    ];
+  }; 
+}
@@ -35,6 +35,7 @@
      kdrive-desktop # we will setup this later
      latex
      ly
+      mathematics
      mullvad
      networking
      notifications
@@ -36,6 +36,7 @@
      kdrive-laptop
      latex
      ly
+      mathematics
      mullvad
      networking
      notifications