From 1eede154de01fe72adf16b92f7368c17b35c4c5a Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Tue, 15 Sep 2026 00:39:53 +0000
Subject: [PATCH 1/3] chore: Update Lean to v4.34.0

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 a8afa7d..12359f9 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.33.1
+leanprover/lean4:v4.34.0

From 2ba62aa916f344d65595ce994f84ed9e7a1d54b5 Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Wed, 23 Sep 2026 14:51:14 -0400
Subject: [PATCH 2/3] chore: Update lean-ffi and lean4-nix for Lean v4.34.0

---
 flake.lock      | 6 +++---
 rust/Cargo.lock | 4 ++--
 rust/Cargo.toml | 2 +-
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/flake.lock b/flake.lock
index 7544543..cd6e5f5 100644
--- a/flake.lock
+++ b/flake.lock
@@ -96,11 +96,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1787412565,
-        "narHash": "sha256-M1y7JYDUzvOSYv0DWcCCmkL2DqDfQZePsKDrQf/Or6U=",
+        "lastModified": 1790187117,
+        "narHash": "sha256-/OTAjmwL0vZlQ5BDbT94W2X3iuNvr8VYtqtN5Ov1egA=",
         "owner": "argumentcomputer",
         "repo": "lean4-nix",
-        "rev": "1ecad9d6f99cf3255a858861c9a2e6966cdd0290",
+        "rev": "c8bce66594bbf62073d0097ca5ddc44321f2d14e",
         "type": "github"
       },
       "original": {
diff --git a/rust/Cargo.lock b/rust/Cargo.lock
index f22a78d..a7529b9 100644
--- a/rust/Cargo.lock
+++ b/rust/Cargo.lock
@@ -26,7 +26,7 @@ checksum = "f2032f911046de80f0a198e0901378627c33f59ea0ac00e363d481118bd70a53"
 [[package]]
 name = "bignat"
 version = "0.1.0"
-source = "git+https://github.com/argumentcomputer/lean-ffi?rev=93c7e52952ae94546be08313f4ff3922984c84d5#93c7e52952ae94546be08313f4ff3922984c84d5"
+source = "git+https://github.com/argumentcomputer/lean-ffi?rev=dd833c1fa24d46299b5df90504a0aca88181d32a#dd833c1fa24d46299b5df90504a0aca88181d32a"
 dependencies = [
  "num-bigint",
 ]
@@ -159,7 +159,7 @@ dependencies = [
 [[package]]
 name = "lean-ffi"
 version = "0.1.0"
-source = "git+https://github.com/argumentcomputer/lean-ffi?rev=93c7e52952ae94546be08313f4ff3922984c84d5#93c7e52952ae94546be08313f4ff3922984c84d5"
+source = "git+https://github.com/argumentcomputer/lean-ffi?rev=dd833c1fa24d46299b5df90504a0aca88181d32a#dd833c1fa24d46299b5df90504a0aca88181d32a"
 dependencies = [
  "bignat",
  "bindgen",
diff --git a/rust/Cargo.toml b/rust/Cargo.toml
index 319c06b..799f7b6 100644
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@@ -15,7 +15,7 @@ crate-type = ["staticlib"]
 
 [dependencies]
 blake3 = "1.8.7"
-lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "93c7e52952ae94546be08313f4ff3922984c84d5" }
+lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "dd833c1fa24d46299b5df90504a0aca88181d32a" }
 
 [profile.dev]
 panic = "abort"

From 57e05b524bbb570c0ebfd314365f19e250d4d903 Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Wed, 23 Sep 2026 15:12:29 -0400
Subject: [PATCH 3/3] chore: Pin lean-ffi to latest main

---
 rust/Cargo.lock | 4 ++--
 rust/Cargo.toml | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/rust/Cargo.lock b/rust/Cargo.lock
index a7529b9..2ed0404 100644
--- a/rust/Cargo.lock
+++ b/rust/Cargo.lock
@@ -26,7 +26,7 @@ checksum = "f2032f911046de80f0a198e0901378627c33f59ea0ac00e363d481118bd70a53"
 [[package]]
 name = "bignat"
 version = "0.1.0"
-source = "git+https://github.com/argumentcomputer/lean-ffi?rev=dd833c1fa24d46299b5df90504a0aca88181d32a#dd833c1fa24d46299b5df90504a0aca88181d32a"
+source = "git+https://github.com/argumentcomputer/lean-ffi?rev=163a661847d8171a685570ed12b4c03bfa092778#163a661847d8171a685570ed12b4c03bfa092778"
 dependencies = [
  "num-bigint",
 ]
@@ -159,7 +159,7 @@ dependencies = [
 [[package]]
 name = "lean-ffi"
 version = "0.1.0"
-source = "git+https://github.com/argumentcomputer/lean-ffi?rev=dd833c1fa24d46299b5df90504a0aca88181d32a#dd833c1fa24d46299b5df90504a0aca88181d32a"
+source = "git+https://github.com/argumentcomputer/lean-ffi?rev=163a661847d8171a685570ed12b4c03bfa092778#163a661847d8171a685570ed12b4c03bfa092778"
 dependencies = [
  "bignat",
  "bindgen",
diff --git a/rust/Cargo.toml b/rust/Cargo.toml
index 799f7b6..4e0be0e 100644
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@@ -15,7 +15,7 @@ crate-type = ["staticlib"]
 
 [dependencies]
 blake3 = "1.8.7"
-lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "dd833c1fa24d46299b5df90504a0aca88181d32a" }
+lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "163a661847d8171a685570ed12b4c03bfa092778" }
 
 [profile.dev]
 panic = "abort"