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