Hacker News new | ask | show | jobs
Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (github.com)
1 points by ngrislain 111 days ago