sqlite-lean

Sqlite3 bindings for lean4 (mirror)

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
{"version": "1.1.0",
 "packagesDir": ".lake/packages",
 "packages":
 [{"url": "https://github.com/argumentcomputer/lspec/",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "1fc461a9b83eeb68da34df72cec2ef1994e906cb",
   "name": "LSpec",
   "manifestFile": "lake-manifest.json",
   "inputRev": "1fc461a9b83eeb68da34df72cec2ef1994e906cb",
   "inherited": false,
   "configFile": "lakefile.toml"}],
 "name": "sqlite",
 "lakeDir": ".lake"}