qcert (npm): The Q*cert compiler
Keywords: compiler|coq-proof-assistant|functional-programming|query-engine|query-language|sql|verification|verified-compiler