sqlite-lean

Sqlite3 bindings for lean4 (mirror)

Commits at fc9f7a16df088df55f707bd6c8cc58318e8f0ae4

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