Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI #1 Post by ngrislain » Wed, Feb 25, 2026, 8:57 AM UTC Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFIgithub.com