From 1c9486baa1e45573de37a4f942e53389627c9409 Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Wed, 17 Sep 2025 10:54:19 -0400
Subject: [PATCH 1/3] chore: Update Lean to v4.23.0

---
 flake.lock     | 6 +++---
 lean-toolchain | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 53038b9..9430540 100644
--- a/flake.lock
+++ b/flake.lock
@@ -59,11 +59,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1755389677,
-        "narHash": "sha256-q79j0+9Vr+QlRmJJijoXmEiMy2hl2lOXsLbjkGeAGnU=",
+        "lastModified": 1758037834,
+        "narHash": "sha256-P2rBelR9lgFJPE8kEV1wwX1LHK6xWlVcQqEez84ss6E=",
         "owner": "lenianiva",
         "repo": "lean4-nix",
-        "rev": "f6b97c79060dcbc7db0c2c9cde5061186c77f4af",
+        "rev": "d87ff09bad00ca4addd471a68a968f2aa29c7c36",
         "type": "github"
       },
       "original": {
diff --git a/lean-toolchain b/lean-toolchain
index 980709b..7f254a9 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.21.0
+leanprover/lean4:v4.23.0

From ffb2d6bd90cfdcf65f7c95308e1c2df112d5eccb Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Wed, 17 Sep 2025 11:00:06 -0400
Subject: [PATCH 2/3] Add direnv support

---
 .envrc     | 1 +
 .gitignore | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 .envrc

diff --git a/.envrc b/.envrc
new file mode 100644
index 0000000..3550a30
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use flake
diff --git a/.gitignore b/.gitignore
index 2a9fe5f..ecb70fd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 /.lake
 /blake3
 result*
+.direnv/

From c3cee8b61b0560fa333a55eb7597187e9079442f Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Wed, 17 Sep 2025 11:33:42 -0400
Subject: [PATCH 3/3] Remove redundant C compilers in dev shell

---
 flake.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 0f1c217..23929ed 100644
--- a/flake.nix
+++ b/flake.nix
@@ -60,7 +60,10 @@
           staticLib = lib.blake3-c;
         };
         devShells.default = pkgs.mkShell {
-          packages = with pkgs.lean; [lean lean-all pkgs.gcc pkgs.clang];
+          packages = with pkgs; [
+            lean.lean
+            lean.lean-all
+          ];
         };
 
         formatter = pkgs.alejandra;