From 7ee525b03366d2054bce4ce8f066758e224f8145 Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Wed, 30 Sep 2026 15:49:50 +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 15b4958..6a94075 100644
--- a/flake.lock
+++ b/flake.lock
@@ -42,11 +42,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1787593167,
-        "narHash": "sha256-TJ/Lq/p8sXXINpodMSjpotERiCoDfoJDuvBn+bVL9Y8=",
+        "lastModified": 1790783203,
+        "narHash": "sha256-28jGAOsp2jv05Uvs+RYG5RTcrvMywYI6qbnZvmGmSwE=",
         "owner": "argumentcomputer",
         "repo": "lean4-nix",
-        "rev": "e014934f9c2b634aea3be072c7b0e6053a5cb211",
+        "rev": "4e6f60f49dbd86001ce44c5f76be9f3187ec4335",
         "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