chore: bump to Lean 4.0.0 stable

tydeu · Sep 10, 2023 · 573a453 · 573a453
1 parent 4d43626
commit 573a453
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-07-30
+leanprover/lean4:4.0.0