GitHub repository: leehe228/qed-prover
Primary language: Rust
Description: A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.