From df915e47567db7c8a00ea3c8dff2bc5a9a62c090 Mon Sep 17 00:00:00 2001 From: Seasawher Date: Mon, 4 Nov 2024 16:26:49 +0900 Subject: [PATCH] =?UTF-8?q?version=20=E6=9B=B4=E6=96=B0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index a254364..4f86f95 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.13.0-rc4 +leanprover/lean4:v4.13.0