From e717f905b73dcf2651701e59e0d2be225e8bc0aa Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Sat, 22 Aug 2026 00:19:43 +0000
Subject: [PATCH 1/2] chore: Update Lean to v4.33.1

Toolchain and dependencies bumped by lean-update.
---
 lean-toolchain | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lean-toolchain b/lean-toolchain
index 025e595..a8afa7d 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.33.0
+leanprover/lean4:v4.33.1

From fed023ccbc91a4dfd5aa8f49f2f4e0e2f6e6c2f7 Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Sat, 22 Aug 2026 11:41:56 -0400
Subject: [PATCH 2/2] Update lean4-nix

---
 flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flake.lock b/flake.lock
index 6ffe5cb..e6c9f0f 100644
--- a/flake.lock
+++ b/flake.lock
@@ -42,11 +42,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1786478490,
-        "narHash": "sha256-fLEj7wL69j4DJva/lb5rp3m3fl6WBLMMy0V/F5clgJU=",
+        "lastModified": 1787412565,
+        "narHash": "sha256-M1y7JYDUzvOSYv0DWcCCmkL2DqDfQZePsKDrQf/Or6U=",
         "owner": "argumentcomputer",
         "repo": "lean4-nix",
-        "rev": "2b15e1ffd5ee31e6bc4d30ec8afe0564317a8c26",
+        "rev": "1ecad9d6f99cf3255a858861c9a2e6966cdd0290",
         "type": "github"
       },
       "original": {