sqlite-lean

Sqlite3 bindings for lean4 (mirror)

Commits at 8a238d8dab134f893d3923988953b42b299c2458