Sqlite3 bindings for lean4 (mirror)
# SQLite Lean Uses the [amalgamation](https://sqlite.org/amalgamation.html) of [SQLite](https://sqlite.org/), which bundles all of SQLite into one .c file for easy compilation.