Merge pull request #10 from leanprover/move_to_v4.7.0-rc1

chore: move to v4.7.0-rc1
leanprover · Mar 5, 2024 · 9b652c8 · 9b652c8
2 parents 9b879a6 + 759ee1a
commit 9b652c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.6.0
+leanprover/lean4:v4.7.0-rc1