diff --git a/flake.lock b/flake.lock
index f82621f..6dac83f 100644
--- a/flake.lock
+++ b/flake.lock
@@ -79,11 +79,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/flake.nix b/flake.nix
index 47367dd..643d874 100644
--- a/flake.nix
+++ b/flake.nix
@@ -60,7 +60,7 @@
           # Pins the Rust toolchain
           rustToolchain = fenix.packages.${system}.fromToolchainFile {
             file = ./rust-toolchain.toml;
-            sha256 = "sha256-P30Tm3O7vQAE725YtDCDHGjNrSsfZO4us11UwJGZSJo=";
+            sha256 = "sha256-p8h3Sl/YRByZfZTAKXdsvF6xEenXKrXSVvpphmZENH4=";
           };
 
           # Rust package
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
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index 23de054..06581a9 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -1,4 +1,4 @@
 [toolchain]
 # The default profile includes rustc, rust-std, cargo, rust-docs, rustfmt and clippy.
 profile = "default"
-channel = "1.98"
+channel = "1.98.1"