From e3bde786750009becf4f828370f2e0d242ccf39d Mon Sep 17 00:00:00 2001 From: Son Ho Date: Fri, 14 Jun 2024 13:55:30 +0200 Subject: Start updating Lean to 4.9.0-rc2 --- backends/lean/lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'backends/lean/lean-toolchain') diff --git a/backends/lean/lean-toolchain b/backends/lean/lean-toolchain index 0ba3faf8..29c0cea4 100644 --- a/backends/lean/lean-toolchain +++ b/backends/lean/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.9.0-rc1 +leanprover/lean4:v4.9.0-rc2 -- cgit v1.2.3