1. Top
  2. sqlite-lean
  3. Files
  4. lake-manifest.json
sqlite-lean

Sqlite3 bindings for lean4 (mirror)

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5 
{"version": "1.1.0",
 "packagesDir": ".lake/packages",
 "packages": [],
 "name": "ffi",
 "lakeDir": ".lake"}