leanproverleansqlite0.1.0

SQLite bindings for Lean
#sqlite #database #ffi
Displaying 1-1 of 1 versions of leansqlite
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    5 days ago
    Released on February 10, 2026 at 8:09:24AM
    Commit 2765af4 builds on its old leanprover/lean4-nightly:nightly-2026-01-28
    nightly-2026-01-28
    52.3 MB Build archive size: 52270302 bytes.