From 03fcad0597f9777eb6cefdb127220b8f5c04f07a Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Thu, 1 Oct 2026 16:08:23 +0000
Subject: [PATCH] chore: Update Lean to v4.34.1

Toolchain and dependencies bumped by lean-update.
---
 flake.lock     | 6 +++---
 lean-toolchain | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 216e641..1de25a5 100644
--- a/flake.lock
+++ b/flake.lock
@@ -42,11 +42,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1790187117,
-        "narHash": "sha256-/OTAjmwL0vZlQ5BDbT94W2X3iuNvr8VYtqtN5Ov1egA=",
+        "lastModified": 1790785453,
+        "narHash": "sha256-d25LPK3rcJKXkUC2XfF9jN5SlUCIwyWDffidGDqxn38=",
         "owner": "argumentcomputer",
         "repo": "lean4-nix",
-        "rev": "c8bce66594bbf62073d0097ca5ddc44321f2d14e",
+        "rev": "e828640c7710bb571eb052d02f1adb2ed5694c5e",
         "type": "github"
       },
       "original": {
diff --git a/lean-toolchain b/lean-toolchain
index 12359f9..ba8ebf2 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.34.0
+leanprover/lean4:v4.34.1