diff --git a/docbuild/lakefile.toml b/docbuild/lakefile.toml
index 5a8f6ab..f0d2ffa 100644
--- a/docbuild/lakefile.toml
+++ b/docbuild/lakefile.toml
@@ -16,7 +16,7 @@ packagesDir = "../.lake/packages"
 [[require]]
 scope = "leanprover"
 name = "doc-gen4"
-rev = "v4.35.0-rc4"
+rev = "v4.36.0-rc1"
 
 [[require]]
 name = "VD"
diff --git a/lake-manifest.json b/lake-manifest.json
index 87f0cce..02a6c21 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "8af27d91704d4e7c4a0cdf149d8ce56034e96c93",
+   "rev": "6fcf84ef4d59992492e50df6ea5135af79118a96",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
@@ -45,7 +45,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "17137fad38a2cc782ff00b323a13c3a991d085ab",
+   "rev": "eef6bb95363c38103535ac2df08b6bb141f0a764",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/lean-toolchain b/lean-toolchain
index d0cf8c5..2afd387 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.36.0-rc1
\ No newline at end of file
+leanprover/lean4:v4.36.0-rc1