From 2fce8c3c135e56b6040225f0563c6e68f5d80374 Mon Sep 17 00:00:00 2001
From: Henri Dohmen <henridohmen@posteo.com>
Date: Wed, 22 Oct 2025 18:34:09 +0200
Subject: [PATCH] lean

---
 desktop/software/development.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/desktop/software/development.nix b/desktop/software/development.nix
index 6fdb95e..ef1b78a 100644
--- a/desktop/software/development.nix
+++ b/desktop/software/development.nix
@@ -17,6 +17,8 @@ in
     environment.systemPackages = with pkgs; [
       binutils
       clang
+      elan
+      emacs
       gcc
       gdb
       gnumake
@@ -26,7 +28,6 @@ in
       python313
       python313Packages.mypy
       rustup
-      emacs
       # jetbrains.gateway
       # jetbrains.rust-rover
     ];
@@ -45,6 +46,7 @@ in
             editorconfig.editorconfig
             james-yu.latex-workshop
             jnoortheen.nix-ide
+            leanprover.lean4
             ltex-plus.vscode-ltex-plus
             maximedenes.vscoq
             mkhl.direnv