sqlite-lean

Sqlite3 bindings for lean4 (mirror)

Commits at f118a9aaeca392a543d3e659967d3e458c9d69b6

  1. f118a9aa feat(ffi): add sqlite open method interface BRonen authored at BRonen comitted at
  2. fc9f7a16 feat(ffi): add sqlite dependency BRonen authored at BRonen comitted at
  3. 13b241e4 feat: initial ffi setup BRonen authored at BRonen comitted at