From a5ff8efe5b5e314e0aa759318e5fb194e066f612 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Tue, 14 Apr 2026 16:04:44 +0200 Subject: update lean --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lean-toolchain') diff --git a/lean-toolchain b/lean-toolchain index e5ab73a..d324cad 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.25.0 +leanprover/lean4:v4.29.0 \ No newline at end of file -- cgit v1.3.1