sqlite-lean

Sqlite3 bindings for lean4 (mirror)

Commits at adad17cc041d381aa178aa90536fb6b4dca12ea0

  1. adad17cc fix(ffi): exec rows return using the result inductive BRonen authored at BRonen comitted at
  2. 646d35ec feat(ffi): add sqlite prepare interface BRonen authored at BRonen comitted at
  3. f118a9aa feat(ffi): add sqlite open method interface BRonen authored at BRonen comitted at
  4. fc9f7a16 feat(ffi): add sqlite dependency BRonen authored at BRonen comitted at
  5. 13b241e4 feat: initial ffi setup BRonen authored at BRonen comitted at