initial

Author: denisecase

lake-manifest.json

@@ -1,95 +1,5 @@
 {"version": "1.1.0",
  "packagesDir": ".lake/packages",
- "packages":
- [{"url": "https://github.com/leanprover-community/mathlib4",
-   "type": "git",
-   "subDir": null,
-   "scope": "",
-   "rev": "2df2f0150c275ad53cb3c90f7c98ec15a56a1a67",
-   "name": "mathlib",
-   "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.26.0",
-   "inherited": false,
-   "configFile": "lakefile.lean"},
-  {"url": "https://github.com/leanprover-community/plausible",
-   "type": "git",
-   "subDir": null,
-   "scope": "leanprover-community",
-   "rev": "160af9e8e7d4ae448f3c92edcc5b6a8522453f11",
-   "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": "3591c3f664ac3719c4c86e4483e21e228707bfa2",
-   "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": "e9f31324f15ead11048b1443e62c5deaddd055d2",
-   "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": "b4fb2aa5290ebf61bc5f80a5375ba642f0a49192",
-   "name": "proofwidgets",
-   "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.0.83",
-   "inherited": true,
-   "configFile": "lakefile.lean"},
-  {"url": "https://github.com/leanprover-community/aesop",
-   "type": "git",
-   "subDir": null,
-   "scope": "leanprover-community",
-   "rev": "2f6d238744c4cb07fdc91240feaf5d4221a27931",
-   "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": "9312503909aa8e8bb392530145cc1677a6298574",
-   "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": "24241822ef9d3e7f6a3bcc53ad136e12663db8f3",
-   "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": "933fce7e893f65969714c60cdb4bd8376786044e",
-   "name": "Cli",
-   "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.26.0",
-   "inherited": true,
-   "configFile": "lakefile.toml"}],
- "name": "IdentityRegimes",
+ "packages": [],
+ "name": "AccountableEntities",
  "lakeDir": ".lake"}

lakefile.toml

@@ -2,12 +2,18 @@ name = "AccountableEntities"
 version = "0.1.0"
 defaultTargets = ["StructuralExplainability"]
 keywords = [
-  "ontology",
-  "identity",
-  "accountable-entities",
-  "accountability",
-  "structural-explainability"
+"formal-ontology",
+"identity-regimes",
+"structural-explainability",
+"accountability",
+"semantic-interoperability",
+"formal-verification",
+"theorem-proving",
+"lean4",
+"necessity-and-sufficiency",
+"structural-constraints"
 ]
+
 license = "MIT"
 
 [[lean_lib]]