chore: update mathlib

verified-optimization · Jun 5, 2023 · d70bc14 · d70bc14
1 parent dc1a735
commit d70bc14
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 6 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,9 +4,9 @@
  [{"git":
    {"url": "https://github.com/leanprover-community/mathlib4",
     "subDir?": null,
-    "rev": "62e469416e55278c1a4bca000426539b578b7749",
+    "rev": "f08cd34408673926d8b49db267d81563a31b378d",
     "name": "mathlib",
-    "inputRev?": "62e4694"}},
+    "inputRev?": "f08cd34408673926d8b49db267d81563a31b378d"}},
   {"git":
    {"url": "https://github.com/gebner/quote4",
     "subDir?": null,
@@ -16,12 +16,12 @@
   {"git":
    {"url": "https://github.com/JLimperg/aesop",
     "subDir?": null,
-    "rev": "409f3b050034337664d21e41fe1cc1bf7f5daec0",
+    "rev": "ca73109cc40837bc61df8024c9016da4b4f99d4c",
     "name": "aesop",
     "inputRev?": "master"}},
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "3156cd5b375d1a932d590c918b7ad50e3be11947",
+    "rev": "6932c4ea52914dc6b0488944e367459ddc4d01a6",
     "name": "std",
     "inputRev?": "main"}}]}
diff --git a/lakefile.lean b/lakefile.lean
@@ -4,7 +4,11 @@ open System Lake DSL
 package CvxLean
 
 require mathlib from git
-  "https://github.com/leanprover-community/mathlib4"@"62e4694"
+  "https://github.com/leanprover-community/mathlib4" @ "f08cd34408673926d8b49db267d81563a31b378d"
+
+meta if get_config? env = some "dev" then
+require «doc-gen4» from git 
+  "https://github.com/leanprover/doc-gen4" @ "main"
 
 @[default_target]
 lean_lib CvxLeanTest

diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-05-16
+leanprover/lean4:nightly-2023-05-31
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:nightly-2023-05-16
		leanprover/lean4:nightly-2023-05-31