chrisflavdb0.1.0

Sort by
  1. Git dependency.
    Found on Reservoir.

    leansqlitev4.31.0

    SQLite bindings for Lean
  2. Git dependency.
    Found on Reservoir.

    quot4v4.31.0

    Intuitive, type-safe expression quotations for Lean 4.