Merge pull request #33 from Seasawher/auto-update/patch-4rwcut7

Updates available and ready to merge.
Seasawher · Aug 22, 2024 · b6794a8 · b6794a8
2 parents 4d54d16 + b40e9a3
commit b6794a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.10.0
+leanprover/lean4:v4.11.0-rc2