GitHub repository: querycert/qcert
Primary language: Coq
Created: 2016-06-11T13:44:32Z
Description: Compilation and Verification of Data-Centric Languages