chore: update mathlilb (version with log and pow)

verified-optimization · May 20, 2023 · a6ca70f · a6ca70f
1 parent 73f1597
commit a6ca70f
Show file tree

Hide file tree

Showing 3 changed files with 6 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": "68b21e12e6d612e77f34febea2e00a9358ce2f76",
+    "rev": "62e469416e55278c1a4bca000426539b578b7749",
     "name": "mathlib",
-    "inputRev?": "68b21e12e6d612e77f34febea2e00a9358ce2f76"}},
+    "inputRev?": "62e4694"}},
   {"git":
    {"url": "https://github.com/gebner/quote4",
     "subDir?": null,
@@ -16,12 +16,12 @@
   {"git":
    {"url": "https://github.com/JLimperg/aesop",
     "subDir?": null,
-    "rev": "cdc00b640d0179910ebaa9c931e3b733a04b881c",
+    "rev": "409f3b050034337664d21e41fe1cc1bf7f5daec0",
     "name": "aesop",
     "inputRev?": "master"}},
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "6006307d2ceb8743fea7e00ba0036af8654d0347",
+    "rev": "3156cd5b375d1a932d590c918b7ad50e3be11947",
     "name": "std",
     "inputRev?": "main"}}]}
diff --git a/lakefile.lean b/lakefile.lean
@@ -4,7 +4,7 @@ open System Lake DSL
 package CvxLean
 
 require mathlib from git
-  "https://github.com/leanprover-community/mathlib4"@"68b21e12e6d612e77f34febea2e00a9358ce2f76"
+  "https://github.com/leanprover-community/mathlib4"@"62e4694"
 
 @[default_target]
 lean_lib CvxLeanTest

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