GitHub repository: qed-solver/prover
Primary language: Rust
Description: A reimplementation of the Cosette prover in Rust aiming for high performance and better SQL feature coverage