Show HN: Provensql – prove two SQL queries are equivalent

1 points | by nac7 5 hours ago