chore: bump Lean and Verso (#19)

This includes the improvements to inductive type docstring rendering in Verso.
leanprover · Aug 10, 2024 · 7be8472 · 7be8472
1 parent 81d643e
commit 7be8472
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "d0855a766c98af34f1ffaacd1858a8cca6c5e71c",
+   "rev": "000647872db8486c7f520f3c411134a8a9c9868e",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2024-07-12
+leanprover/lean4:nightly-2024-08-10