lake-manifest.json

{"version": "1.1.0",
 "packagesDir": ".lake/packages",
 "packages":
 [{"url": "https://github.com/leanprover/SHerLOC.git",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "cf77ce5f5b389a593f6ca0689e5d445010afc056",
   "name": "SHerLOC",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover/NKL.git",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "cfe38f61d0606f1b408e654103fdbcb3db5cf064",
   "name": "NKL",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover/TensorLib.git",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "d1d385414f665926e3a5f5c7eea3b724ff9d5c91",
   "name": "TensorLib",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"}],
 "name": "TenCert",
 "lakeDir": ".lake"}