update and add cslib

Author: oliversoeser

lake-manifest.json

@@ -1,5 +1,106 @@
-{"version": "1.1.0",
+{"version": "1.2.0",
  "packagesDir": ".lake/packages",
- "packages": [],
- "name": "«inhabit»",
- "lakeDir": ".lake"}
+ "packages":
+ [{"url": "https://github.com/leanprover/cslib",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover",
+   "rev": "dc23a39f58d6a8b84ef2e45975fd9c396af41082",
+   "name": "cslib",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": false,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover-community/mathlib4",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "360da6fa66c1273b76b6b2d8c5666fd5ac2e3b56",
+   "name": "mathlib",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "360da6fa66c1273b76b6b2d8c5666fd5ac2e3b56",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/leanprover-community/plausible",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "f3f26cc72646205ca167117487c008ee1dafe816",
+   "name": "plausible",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover-community/LeanSearchClient",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "c5d5b8fe6e5158def25cd28eb94e4141ad97c843",
+   "name": "LeanSearchClient",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover-community/import-graph",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "41f407a8e85b0fdc00910633a8f14754139b63f4",
+   "name": "importGraph",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover-community/ProofWidgets4",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "e6518a674e62de322b8f79eebeda7bcae2a36bc3",
+   "name": "proofwidgets",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/leanprover-community/aesop",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "b5b9e2bb45ce91e4bc44eaa738c3a8910404ab82",
+   "name": "aesop",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "master",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover-community/quote4",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "7a62bd13860cd39ac98da16ffc8c24d601353f69",
+   "name": "Qq",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "master",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover-community/batteries",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "954dbc9873f3b4534dc9896604593406d0383520",
+   "name": "batteries",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover/lean4-cli",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover",
+   "rev": "406ebb8c8e2f7e852a1b47764b42494022ce652c",
+   "name": "Cli",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "v4.32.0-rc1",
+   "inherited": true,
+   "configFile": "lakefile.toml"}],
+ "name": "inhabit",
+ "lakeDir": ".lake",
+ "fixedToolchain": false}

lakefile.toml

@@ -8,3 +8,8 @@ name = "Inhabit"
 [[lean_exe]]
 name = "inhabit"
 root = "Main"
+
+[[require]]
+name = "cslib"
+scope = "leanprover"
+rev = "main"

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.29.1
+leanprover/lean4:v4.32.0-rc1