diff --git a/lean-toolchain b/lean-toolchain index 574982285e..dbf7ee8c27 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2024-12-30 +leanprover/lean4:nightly-2024-12-31