1. Top
  2. sqlite-lean
  3. Files
  4. .gitignore
sqlite-lean

Sqlite3 bindings for lean4 (mirror)

  1. 1
  2. 2
  3. 3
  4. 4 
/ffi/.lake
/.lake
/.direnv
test.sqlite3