Updates available and ready to merge (#1254)

github-actions[bot] · web-flow · commit 4de9edc31039 · 2025-06-16T22:24:39.000+02:00
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,10 +25,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "c211948581bde9846a99e32d97a03f0d5307c31e",
+   "rev": "5c0c94b3f563ed756b48b9439788c53b0d56a897",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.20.0",
+   "inputRev": "v4.20.1",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/mhuisi/lean4-cli",
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.20.0
+leanprover/lean4:v4.20.1
