diff --git a/lake-manifest.json b/lake-manifest.json
index 071527d..d1ccc6a 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,40 +5,40 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "7d0e7a00681e1a0fc1ba732ac88055da2e0dd4f8",
+   "rev": "41c5d0b8814dec559e2e1441171db434fe2281cc",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.22.0",
+   "inputRev": "v4.23.0",
    "inherited": false,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/plausible",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "b100ad4c5d74a464f497aaa8e7c74d86bf39a56f",
+   "rev": "a22e7c1fa7707fb7ea75f2f9fd6b14de2b7b87a9",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.22.0",
+   "inputRev": "v4.23.0",
    "inherited": false,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "1256a18522728c2eeed6109b02dd2b8f207a2a3c",
+   "rev": "247ff80701c76760523b5d7c180b27b7708faf38",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.22.0",
+   "inputRev": "v4.23.0",
    "inherited": false,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/batteries",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "e96b5eca4fcfe2e0e96a1511a6cd5747515aba82",
+   "rev": "d117e2c28cba42e974bc22568ac999492a34e812",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.22.0-rc4",
+   "inputRev": "v4.23.0",
    "inherited": true,
    "configFile": "lakefile.toml"}],
  "name": "TensorLib",
diff --git a/lakefile.lean b/lakefile.lean
index e3d9fbf..00c4061 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -28,10 +28,10 @@ lean_exe "tensorlib" where
   root := `Main
 
 require aesop from git
-  "https://github.com/leanprover-community/aesop" @ "v4.22.0"
+  "https://github.com/leanprover-community/aesop" @ "v4.23.0"
 
 require plausible from git
-  "https://github.com/leanprover-community/plausible" @ "v4.22.0"
+  "https://github.com/leanprover-community/plausible" @ "v4.23.0"
 
 require Cli from git
-  "https://github.com/leanprover/lean4-cli.git" @ "v4.22.0"
+  "https://github.com/leanprover/lean4-cli.git" @ "v4.23.0"
diff --git a/lean-toolchain b/lean-toolchain
index 6ac6d4c..7f254a9 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.22.0
+leanprover/lean4:v4.23.0