Top
sqlite-lean
Commits
sqlite-lean
Sqlite3 bindings for lean4 (mirror)
Summary
Refs
Commits
Files
Commits at fc9f7a16df088df55f707bd6c8cc58318e8f0ae4
fc9f7a16
feat(ffi): add sqlite dependency
BRonen
authored at
2025-02-17 08:39:09 -0300
BRonen
comitted at
2025-02-17 08:39:09 -0300
13b241e4
feat: initial ffi setup
BRonen
authored at
2025-02-17 08:39:09 -0300
BRonen
comitted at
2025-02-17 08:39:09 -0300