Merge pull request #66 from mseri/update-toolchain

Update toolchain
mseri · Aug 22, 2024 · 379acb4 · 379acb4
2 parents 6d5ccea + 0c9c08b
commit 379acb4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.9.0-rc3
+leanprover/lean4:v4.11.0-rc2