From 2e46e58838b619e34539f1e659589c85eba15bca Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Wed, 6 Aug 2025 18:35:44 +0200
Subject: [PATCH] Bump lean version.

---
 lake-manifest.json | 8 ++++----
 lakefile.lean      | 2 +-
 lean-toolchain     | 2 +-
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index c1edfe7..00f9959 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,20 +5,20 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "a602d13aca2913724c7d47b2d7df0353620c4ee8",
+   "rev": "1253a071e6939b0faf5c09d2b30b0bfc79dae407",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.0.53",
+   "inputRev": "v0.0.68",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/batteries",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "092b30de8e7ee78e96b24c235d99e26f2942d77e",
+   "rev": "e96b5eca4fcfe2e0e96a1511a6cd5747515aba82",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.18.0-rc1",
+   "inputRev": "v4.22.0-rc4",
    "inherited": true,
    "configFile": "lakefile.toml"}],
  "name": "LeanTeX",
diff --git a/lakefile.lean b/lakefile.lean
index b71d6d5..865f3a1 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -1,7 +1,7 @@
 import Lake
 open Lake DSL
 
-require "leanprover-community" / "proofwidgets" @ git "v0.0.53"
+require "leanprover-community" / "proofwidgets" @ git "v0.0.68"
 
 package LeanTeX { }
 
diff --git a/lean-toolchain b/lean-toolchain
index 62e3298..2c6e1c4 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.18.0-rc1
+leanprover/lean4:v4.22.0-rc4