chore: update mathlib

verified-optimization · Jun 21, 2023 · ffafb69 · ffafb69
1 parent 4060f6e
commit ffafb69
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -2,11 +2,17 @@
  "packagesDir": "lake-packages",
  "packages":
  [{"git":
+   {"url": "https://github.com/EdAyers/ProofWidgets4",
+    "subDir?": null,
+    "rev": "c43db94a8f495dad37829e9d7ad65483d68c86b8",
+    "name": "proofwidgets",
+    "inputRev?": "v0.0.11"}},
+  {"git":
    {"url": "https://github.com/leanprover-community/mathlib4",
     "subDir?": null,
-    "rev": "f08cd34408673926d8b49db267d81563a31b378d",
+    "rev": "a7a9993c2dcd85d5655ccfec23d59c5ef9b25b2b",
     "name": "mathlib",
-    "inputRev?": "f08cd34408673926d8b49db267d81563a31b378d"}},
+    "inputRev?": "a7a9993c2dcd85d5655ccfec23d59c5ef9b25b2b"}},
   {"git":
    {"url": "https://github.com/gebner/quote4",
     "subDir?": null,
@@ -22,6 +28,6 @@
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "6932c4ea52914dc6b0488944e367459ddc4d01a6",
+    "rev": "e68aa8f5fe47aad78987df45f99094afbcb5e936",
     "name": "std",
     "inputRev?": "main"}}]}
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-05-31
+leanprover/lean4:nightly-2023-06-20
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:nightly-2023-05-31
		leanprover/lean4:nightly-2023-06-20