leanproverleansqlite

SQLite bindings for Lean
Displaying 1-4 of 4 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. brettkoonce/lean4-jaxusesv4.30.0-rc2

    Use Lean4 to build and train image recognition networks in MLIR.

  4. SrGaabriel/soma-workspaceuses4dfd48c

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