From 9ac39d02a3e07557e2759ee5e775070aec18c985 Mon Sep 17 00:00:00 2001 From: luisacicolini Date: Sun, 3 Nov 2024 14:12:41 +0000 Subject: [PATCH] chore --- lake-manifest.json | 4 ++-- lakefile.toml | 2 +- lean-toolchain | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/lake-manifest.json b/lake-manifest.json index b964ce95b..4b181499e 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -85,10 +85,10 @@ "type": "git", "subDir": null, "scope": "", - "rev": "ef5ff126f83dceb492b40f3b30c19cc071eac163", + "rev": "022e83a3574b2369be549178ef7a785b7c716f51", "name": "mathlib", "manifestFile": "lake-manifest.json", - "inputRev": "nightly-testing-2024-11-02", + "inputRev": "nightly-testing-2024-11-03", "inherited": false, "configFile": "lakefile.lean"}, {"url": "https://github.com/hargoniX/Leanwuzla.git", diff --git a/lakefile.toml b/lakefile.toml index 628677091..f8d1fa458 100644 --- a/lakefile.toml +++ b/lakefile.toml @@ -4,7 +4,7 @@ defaultTargets = ["SSA"] [[require]] name = "mathlib" git = "https://github.com/leanprover-community/mathlib4" -rev = "nightly-testing-2024-11-02" +rev = "nightly-testing-2024-11-03" [[require]] name = "Cli" diff --git a/lean-toolchain b/lean-toolchain index de66b7025..cd62ae0b7 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2024-11-02 +leanprover/lean4:nightly-2024-11-03