Show HN: Provensql – prove two SQL queries are equivalent

(github.com) by nac7 | Aug 25, 2026 | 0 comments on HN