diff --git a/lake-manifest.json b/lake-manifest.json
index 90ed519..d6fa391 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -15,11 +15,11 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "4756e0fc48acce0cc808df0ad149de5973240df6",
+   "rev": "31a10a332858d6981dbcf55d54ee51680dd75f18",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.12.0",
+   "inputRev": "v4.13.0",
    "inherited": false,
-   "configFile": "lakefile.lean"}],
+   "configFile": "lakefile.toml"}],
  "name": "i18n",
  "lakeDir": ".lake"}
diff --git a/lean-toolchain b/lean-toolchain
index 8998520..4f86f95 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.12.0
+leanprover/lean4:v4.13.0