From d0a59bb051647ef5fba0f07c4d16ba9ebfd86918 Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Mon, 23 Feb 2026 15:02:51 -0500
Subject: [PATCH] chore: Update Lean to v4.28.0

---
 flake.lock     | 6 +++---
 lean-toolchain | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index c2078b8..c183b4d 100644
--- a/flake.lock
+++ b/flake.lock
@@ -59,11 +59,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1771784682,
-        "narHash": "sha256-35kZxaGTpP0mGHaxKzb7WXQD2hkw5z/kGxIJ/bE+7cA=",
+        "lastModified": 1771875971,
+        "narHash": "sha256-D3PN4o8RtyHEjlAtsLa6M9xRjIwtMUk4pIkfsNSMAvQ=",
         "owner": "lenianiva",
         "repo": "lean4-nix",
-        "rev": "7a5424eb7cfad9c855cd31d958d84b2209549bbf",
+        "rev": "faebfa2e0d7093fea3ffaa493b316bf3449c1dbf",
         "type": "github"
       },
       "original": {
diff --git a/lean-toolchain b/lean-toolchain
index 5249182..4c685fa 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.27.0
+leanprover/lean4:v4.28.0