From e02ad2dcc0f93107c18f8316b386b92b45548e97 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Sun, 30 Nov 2025 22:20:35 +0100
Subject: update lean

---
 lakefile.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lakefile.toml')

diff --git a/lakefile.toml b/lakefile.toml
index 45c09ba..bf4beec 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -5,7 +5,7 @@ defaultTargets = ["Nominal"]
 [[require]]
 name = "mathlib"
 scope = "leanprover-community"
-rev = "v4.23.0"
+rev = "v4.25.0"
 
 [[lean_lib]]
 name = "Nominal"
-- 
cgit v1.3.1