diff --git a/flake.lock b/flake.lock
index 1a50363..c803f65 100644
--- a/flake.lock
+++ b/flake.lock
@@ -42,16 +42,16 @@
         "nixpkgs-old": "nixpkgs-old"
       },
       "locked": {
-        "lastModified": 1714704934,
-        "narHash": "sha256-q0kLyIahUXolkSrBZSegPF+R99WAH1YC96JfKoFntDE=",
+        "lastModified": 1719788866,
+        "narHash": "sha256-kB2cp1XJKODXiuiKp7J5OK+PFP+sOSBE5gdVNOKWCPI=",
         "owner": "leanprover",
         "repo": "lean4",
-        "rev": "dcccfb73cb247e9478220375ab7de03f7c67e505",
+        "rev": "3b58e0649156610ce3aeed4f7b5c652340c668d4",
         "type": "github"
       },
       "original": {
         "owner": "leanprover",
-        "ref": "v4.8.0-rc1",
+        "ref": "v4.10.0-rc1",
         "repo": "lean4",
         "type": "github"
       }