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