From a5ff8efe5b5e314e0aa759318e5fb194e066f612 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Tue, 14 Apr 2026 16:04:44 +0200
Subject: update lean

---
 lakefile.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lakefile.toml')

diff --git a/lakefile.toml b/lakefile.toml
index 21e9fc9..513bf8e 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -5,7 +5,7 @@ defaultTargets = ["Nominal"]
 [[require]]
 name = "mathlib"
 scope = "leanprover-community"
-rev = "v4.25.0"
+rev = "v4.29.0"
 
 [[lean_lib]]
 name = "Nominal"
@@ -15,4 +15,4 @@ name = "Graded"
 
 [[lean_lib]]
 name = "Algebra"
-needs = ["Nominal", "Graded"]
\ No newline at end of file
+needs = ["Nominal", "Graded"]
-- 
cgit v1.3.1