update mathlib

dwrensha · Aug 29, 2023 · a7cd64a · a7cd64a
1 parent c161b89
commit a7cd64a
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
@@ -12,18 +12,18 @@
   {"git":
    {"url": "https://github.com/mhuisi/lean4-cli.git",
     "subDir?": null,
-    "rev": "5a858c32963b6b19be0d477a30a1f4b6c120be7e",
+    "rev": "b25b443cbe9b47a8cb10a7b515e27cffd13c5cfd",
     "opts": {},
     "name": "Cli",
     "inputRev?": "nightly",
     "inherited": true}},
   {"git":
    {"url": "https://github.com/leanprover-community/mathlib4",
     "subDir?": null,
-    "rev": "dd64a902f2ef6b970ae0bf581ac0bd1cbb3070b1",
+    "rev": "81b27a4280624d4e3545a858c6ccfeb38f508b66",
     "opts": {},
     "name": "mathlib",
-    "inputRev?": "dd64a902f2ef6b970ae0bf581ac0bd1cbb3070b1",
+    "inputRev?": "81b27a4280624d4e3545a858c6ccfeb38f508b66",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/gebner/quote4",
@@ -44,7 +44,7 @@
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "b5f7bd40d2162fe148e585543f284a5d8cc0ef26",
+    "rev": "7194b6b9b074e15c490e59491843bcd0f0feda68",
     "opts": {},
     "name": "std",
     "inputRev?": "main",

diff --git a/lakefile.lean b/lakefile.lean
@@ -12,4 +12,4 @@ lean_exe buildWebpage where
   root := `scripts.buildWebpage
   supportInterpreter := true
 
-require mathlib from git "https://github.com/leanprover-community/mathlib4" @ "dd64a902f2ef6b970ae0bf581ac0bd1cbb3070b1"
+require mathlib from git "https://github.com/leanprover-community/mathlib4" @ "81b27a4280624d4e3545a858c6ccfeb38f508b66"
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-08-23
+leanprover/lean4:v4.0.0-rc2
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:nightly-2023-08-23
		leanprover/lean4:v4.0.0-rc2