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

Sqlite3 bindings for lean4 (mirror)

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6 
import FFI

def a := myAdd 2 3
#check a
#eval a