From a68c231db4edf97c4f007724969aec7dd60941a1 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 2 Feb 2024 20:48:26 +0100
Subject: Update lean to v4.6.0-rc1 and start fixing the proofs

---
 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 fbca4d37..cfcdd327 100644
--- a/backends/lean/lean-toolchain
+++ b/backends/lean/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.0.0
\ No newline at end of file
+leanprover/lean4:v4.6.0-rc1
-- 
cgit v1.2.3