Merge pull request #23 from leanprover/move_to_v4.12.0

chore: move to v4.12.0
leanprover · Oct 1, 2024 · 48c39ac · 48c39ac
2 parents c07bbba + c097d43
commit 48c39ac
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-rc1
+leanprover/lean4:v4.12.0