Update Lean and mathlib

Changes

2 changed files (+10/-10)

• lake-manifest.json
  • @@ -5,7 +5,7 @@
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "f127f08ce3fbcb22bb783588afb15ab765f69b61", + "rev": "a655f149bb9e8ded96d946d3247b034b1ade7a25", "name": "mathlib", "manifestFile": "lake-manifest.json", "inputRev": "master",
  • @@ -15,7 +15,7 @@
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "c37191eba2da78393070da8c4367689d8c4276e4", + "rev": "240eddc1bb31420fbbc57fe5cc579435c2522493", "name": "plausible", "manifestFile": "lake-manifest.json", "inputRev": "main",
  • @@ -35,7 +35,7 @@
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "4241928fd3ebae83a037a253e39d9b773e34c3b4", + "rev": "dba7fbc707774d1ba830fd44d7f92a717e9bf57f", "name": "importGraph", "manifestFile": "lake-manifest.json", "inputRev": "main",
  • @@ -45,17 +45,17 @@
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "96c67159f161fb6bf6ce91a2587232034ac33d7e", + "rev": "6e47cc88cfbf1601ab364e9a4de5f33f13401ff8", "name": "proofwidgets", "manifestFile": "lake-manifest.json", - "inputRev": "v0.0.67", + "inputRev": "v0.0.71", "inherited": true, "configFile": "lakefile.lean"}, {"url": "https://github.com/leanprover-community/aesop", "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "9fcd6287835e2a229875a568986b786df0a0d3c6", + "rev": "523c8ee53f7057447fc62ec14e506fda4cf63dfa", "name": "aesop", "manifestFile": "lake-manifest.json", "inputRev": "master",
  • @@ -65,7 +65,7 @@
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "1ef3dac0f872ca6aaa7d02e015427e06dd0b6195", + "rev": "f85ad59c9b60647ef736719c23edd4578f723806", "name": "Qq", "manifestFile": "lake-manifest.json", "inputRev": "master",
  • @@ -75,7 +75,7 @@
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "1340120ec7a034c5d833a337197adfdb079ac56b", + "rev": "6e89c7370ca3a91b7d1f29ef7d727a9d027d7b0d", "name": "batteries", "manifestFile": "lake-manifest.json", "inputRev": "main",
  • @@ -85,7 +85,7 @@
    "type": "git", "subDir": null, "scope": "leanprover", - "rev": "c682c91d2d4dd59a7187e2ab977ac25bd1f87329", + "rev": "cacb481a1eaa4d7d4530a27b606c60923da21caf", "name": "Cli", "manifestFile": "lake-manifest.json", "inputRev": "main",
• lean-toolchain
  • @@ -1,1 +1,1 @@
    - leanprover/lean4:v4.22.0-rc4 + leanprover/lean4:v4.23.0-rc2