From 72b2a7c72be1fae7748b36b62ae318dc7f2c46b9 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Fri, 22 Dec 2023 10:46:41 +1100 Subject: [PATCH] bump toolchain to v4.5.0-rc1 --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 26638e0..3f21e50 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.4.0 +leanprover/lean4:v4.5.0-rc1