https://github.com/querycert/qcert

Compilation and Verification of Data-Centric Languages

compiler coq-proof-assistant functional-programming query-engine query-language sql verification verified-compiler

Last synced: 13 May 2025