Merge pull request #25 from tydeu/bump/v4.13.0-rc3

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