Show HN: Provensql – prove two SQL queries are equivalent

ProvenSQL 能快速验证两条 SQL 查询是否等价，节省代码审查和迁移的时间。先将其集成到 CI 流水线中，添加比较脚本并在部署前检查依赖和许可证。该工具适用于原型和内部工作流程，但在正式投入生产前需手动验证。