diff --git a/lake-manifest.json b/lake-manifest.json
index 773c7798..4a678150 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d300915bf163a8bd2e7d20868ad010e2c3a59f5a",
+   "rev": "9b1001cbdbfe51cbc92398637317609eb7bbf139",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "faaefc80803bee475f81355a3aab270cafc81923",
+   "rev": "2b93f2523263a6df8a8fbbe3dd28b7f028087480",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "17d5e44a634099607fae899127736377c3517f95",
+   "rev": "ea1e51a85f6bd53b6a84239b00593eebd03d522b",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -45,17 +45,17 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "b5e00ab2b8adfc9dfc9335ca3dadca7caec37629",
+   "rev": "212dc300449e436298804f09b264f624667106f8",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.0.89",
+   "inputRev": "v0.0.90",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "de5caa559acfd0a1577b3bc49c33887a91c4792e",
+   "rev": "6f8999a4e31701d2c905262d3788a8c0d21b3f1f",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "db277098a6c4ae41e0aa9938382a98f14af9da38",
+   "rev": "5bb0ac23f6e6c4c3ba1b084f2d65cb1bd2a9cf7a",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "07be181c4f3c157e385eaa0259ac248bc3eb3626",
+   "rev": "ed250d06b33e67aa5dc5f2cc349a5a35e8b6b390",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,10 +85,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "6945abad990418721e221803ac0356d0833cf783",
+   "rev": "0c688ceba0d380f6e56f977009fc2bb2322af5a3",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.29.0-rc2",
+   "inputRev": "v4.29.0-rc3",
    "inherited": true,
    "configFile": "lakefile.toml"}],
  "name": "cslib",
diff --git a/lean-toolchain b/lean-toolchain
index 283f574d..f08aa7fb 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.29.0-rc2
+leanprover/lean4:v4.29.0-rc3