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
Added: over 1 year ago - Last Synced: 11 months ago
- Created: June 11, 2016
