leanproverleansqlite0.1.0

SQLite bindings for Lean
#sqlite #database #ffi
Displaying 1-3 of 3 packages depending on leanprover/leansqlite
Sort by

  1. leanprover/doc-gen4usesv4.30.0-rc2

    Document Generator for Lean 4

  2. SrGaabriel/lapisuses4dfd48c

    ✏️ | A cutting-edge, concurrent & performant Language Server Protocol (LSP) framework for Lean 4.

  3. SrGaabriel/soma-workspaceuses4dfd48c

    ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.