chore: bump to nightly-2023-08-23

verified-optimization · Aug 23, 2023 · ad442a9 · ad442a9
1 parent dbcae3c
commit ad442a9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -5,7 +5,7 @@ package CvxLean
 
 require mathlib from git
   "https://github.com/leanprover-community/mathlib4" @ 
-  "a7a9993c2dcd85d5655ccfec23d59c5ef9b25b2b"
+  "c35ba47375c4f80f3ba26a7301b17eadfac2562c"
 
 -- meta if get_config? env = some "dev" then
 -- require «doc-gen4» from git 

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