From 4af0e431f4201e20308a8f7472bf7262e2f7b1a2 Mon Sep 17 00:00:00 2001 From: Raito Bezarius Date: Fri, 12 Apr 2024 20:05:13 +0200 Subject: feat: upgrade to lean v4.7 Signed-off-by: Raito Bezarius --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lean-toolchain') diff --git a/lean-toolchain b/lean-toolchain index cfcdd32..9ad3040 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.6.0-rc1 +leanprover/lean4:v4.7.0 -- cgit v1.2.3