Bump to v4.23.0

Author: dranov

lake-manifest.json

@@ -5,50 +5,50 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "639e0417651be92f0d4991aca861c52fd34c9c1a",
+   "rev": "d6c048b99c80e93c42e7fb03ba5b14a74b00a836",
    "name": "smt",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "639e0417651be92f0d4991aca861c52fd34c9c1a",
+   "inputRev": "d6c048b99c80e93c42e7fb03ba5b14a74b00a836",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/lean-auto.git",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "44f10182970b653a84649337514dd2a2d45b1509",
+   "rev": "2c088e7617d6e2018386de23b5df3b127fae4634",
    "name": "auto",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "44f10182970b653a84649337514dd2a2d45b1509",
+   "inputRev": "2c088e7617d6e2018386de23b5df3b127fae4634",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/mathlib4.git",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "79e94a093aff4a60fb1b1f92d9681e407124c2ca",
+   "rev": "37df177aaa770670452312393d4e84aaad56e7b6",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.22.0",
+   "inputRev": "v4.23.0",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/abdoo8080/lean-cvc5.git",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "5069cb686e924a323bc121bd54cbf200dc08f8bb",
+   "rev": "77f45ae314d657466853138a61cba8fca00094c8",
    "name": "cvc5",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "5069cb6",
+   "inputRev": "77f45ae314d657466853138a61cba8fca00094c8",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/plausible",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "b100ad4c5d74a464f497aaa8e7c74d86bf39a56f",
+   "rev": "a22e7c1fa7707fb7ea75f2f9fd6b14de2b7b87a9",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.22.0",
+   "inputRev": "main",
    "inherited": true,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/LeanSearchClient",
@@ -65,57 +65,57 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "eb164a46de87078f27640ee71e6c3841defc2484",
+   "rev": "7fca1d4a190761bac0028848f73dc9a59fcb4957",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.22.0",
+   "inputRev": "main",
    "inherited": true,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/ProofWidgets4",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "1253a071e6939b0faf5c09d2b30b0bfc79dae407",
+   "rev": "6e47cc88cfbf1601ab364e9a4de5f33f13401ff8",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.0.68",
+   "inputRev": "v0.0.71",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "1256a18522728c2eeed6109b02dd2b8f207a2a3c",
+   "rev": "247ff80701c76760523b5d7c180b27b7708faf38",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.22.0",
+   "inputRev": "master",
    "inherited": true,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/quote4",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "917bfa5064b812b7fbd7112d018ea0b4def25ab3",
+   "rev": "9b703a545097978aef0e7e243ab8b71c32a9ff65",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.22.0",
+   "inputRev": "master",
    "inherited": true,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/batteries",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "240676e9568c254a69be94801889d4b13f3b249f",
+   "rev": "d117e2c28cba42e974bc22568ac999492a34e812",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.22.0",
+   "inputRev": "main",
    "inherited": true,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover/lean4-cli",
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "c682c91d2d4dd59a7187e2ab977ac25bd1f87329",
+   "rev": "41c5d0b8814dec559e2e1441171db434fe2281cc",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

lakefile.lean

@@ -1,8 +1,8 @@
 import Lake
 open Lake DSL System
 
-require auto from git "https://github.com/leanprover-community/lean-auto.git" @ "44f10182970b653a84649337514dd2a2d45b1509"
-require smt from git "https://github.com/ufmg-smite/lean-smt.git" @ "639e0417651be92f0d4991aca861c52fd34c9c1a"
+require auto from git "https://github.com/leanprover-community/lean-auto.git" @ "2c088e7617d6e2018386de23b5df3b127fae4634"
+require smt from git "https://github.com/ufmg-smite/lean-smt.git" @ "d6c048b99c80e93c42e7fb03ba5b14a74b00a836"
 
 package veil
 

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.22.0
+leanprover/lean4:v4.23.0