diff options
| -rw-r--r-- | README.md | 1 | ||||
| -rw-r--r-- | lake-manifest.json | 18 | ||||
| -rw-r--r-- | lean-toolchain | 2 |
3 files changed, 10 insertions, 11 deletions
diff --git a/README.md b/README.md deleted file mode 100644 index 54f55e4..0000000 --- a/README.md +++ /dev/null @@ -1 +0,0 @@ -# marden
\ No newline at end of file diff --git a/lake-manifest.json b/lake-manifest.json index 5b32033..d03e477 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -5,7 +5,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "5ea61f2524d464310a8da2cf79cbda959124285a", + "rev": "ea2e32e8374f8bd34d687fd0045514d5b3942f6c", "name": "mathlib", "manifestFile": "lake-manifest.json", "inputRev": "master", @@ -15,7 +15,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "c2d561a944a566cbe80b1664ca77895d712213e1", + "rev": "61c44bec841faabd47d11c2eda15f57ec2ffe9d5", "name": "plausible", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -35,7 +35,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "fec36d813737fa93f71fa32a737bd1548e65e43e", + "rev": "140dc642f4f29944abcdcd3096e8ea9b4469c873", "name": "importGraph", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -45,17 +45,17 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "6980f6ca164de593cb77cd03d8eac549cc444156", + "rev": "96c67159f161fb6bf6ce91a2587232034ac33d7e", "name": "proofwidgets", "manifestFile": "lake-manifest.json", - "inputRev": "v0.0.62", + "inputRev": "v0.0.67", "inherited": true, "configFile": "lakefile.lean"}, {"url": "https://github.com/leanprover-community/aesop", "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "fa98745a3481f022e3b68eae479d0cdcaef38f0b", + "rev": "a62ecd0343a2dcfbcac6d1e8243f5821879c0244", "name": "aesop", "manifestFile": "lake-manifest.json", "inputRev": "master", @@ -65,7 +65,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "6a42c3db4efa7984e4e074cfd04307636aaf7a5b", + "rev": "867d9dc77534341321179c9aa40fceda675c50d4", "name": "Qq", "manifestFile": "lake-manifest.json", "inputRev": "master", @@ -75,7 +75,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "973f2658ea854c89067bc6be53339ba143c9bcef", + "rev": "3cabaef23886b82ba46f07018f2786d9496477d6", "name": "batteries", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -85,7 +85,7 @@ "type": "git", "subDir": null, "scope": "leanprover", - "rev": "f73de1d8e807e9fea8d0f1716d9fac6cddf2b96a", + "rev": "e22ed0883c7d7f9a7e294782b6b137b783715386", "name": "Cli", "manifestFile": "lake-manifest.json", "inputRev": "main", diff --git a/lean-toolchain b/lean-toolchain index 2c92432..fff0a20 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.21.0-rc2
\ No newline at end of file +leanprover/lean4:v4.22.0-rc3 |