Merge pull request #24 from leanprover/bump_to_v4.13.0-rc1

chore: move to v4.13.0-rc1
leanprover · Oct 3, 2024 · 2a87e93 · 2a87e93
2 parents 48c39ac + 7bb26a0
commit 2a87e93
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.12.0
+leanprover/lean4:v4.13.0-rc1