qcert
Compilation and Verification of Data-Centric Languages
55 stars
6 watching
9 forks
Language: Coq
last commit: 3 months ago
Linked from 1 awesome list
compilercoq-proof-assistantfunctional-programmingquery-enginequery-languagesqlverificationverified-compiler