Show HN: Provensql – prove two SQL queries are equivalent

ProvenSQL quickly verifies whether two SQL queries are equivalent, saving time during code reviews and migrations. Start by integrating it into your CI pipeline