Show HN: Provensql – prove two SQL queries are equivalent

(github.com)

1 points | by nac7 5 hours ago ago

No comments yet.