From 10aa3ecb5a59d4042c03cb0fb2cc6db737297ec1 Mon Sep 17 00:00:00 2001 From: Joscha Date: Wed, 17 Jun 2026 19:31:01 +0200 Subject: [PATCH 1/2] chore: bump toolchain to v4.32.0-rc1 --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 18640c8..2694eb7 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.31.0 +leanprover/lean4:v4.32.0-rc1 From ddd81d831acdfe10d5d23d943c43e565341af1c2 Mon Sep 17 00:00:00 2001 From: Joscha Date: Wed, 17 Jun 2026 21:05:28 +0200 Subject: [PATCH 2/2] fix test --- Test.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Test.lean b/Test.lean index 5fe32cf..bd74231 100644 --- a/Test.lean +++ b/Test.lean @@ -658,8 +658,8 @@ _private.Init.Prelude.0.Nat.lt_or_ge.match_1_5 _private.Init.Prelude.0.Nat.lt_or_ge.match_1_3 Nat.le_succ_of_le _private.Init.Prelude.0.Nat.lt_or_ge.match_1_1 -Nat.eq_or_lt_of_le.match_3 -Nat.eq_or_lt_of_le.match_1 +_private.Init.Prelude.0.Nat.eq_or_lt_of_le.match_1_3 +_private.Init.Prelude.0.Nat.eq_or_lt_of_le.match_1_1 Nat.eq_or_lt_of_le._f Nat.eq_or_lt_of_le Nat.lt_or_ge._f