From 3c2bc194c10727f6835e89ccacb723a3c22812d6 Mon Sep 17 00:00:00 2001 From: Oliver Dressler Date: Fri, 21 Nov 2025 11:58:05 +0100 Subject: [PATCH] [chore] Bump to 4.25.0 --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 14a4424..1d4c9d4 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.23.0 \ No newline at end of file +leanprover/lean4:v4.25.0 \ No newline at end of file