uwdb/Cosette

Handpicked best gits and free source code on github daily updated (almost)

uwdb/Cosette

By
Cosette is an automated SQL solver powered by Coq and Rosette. 173

VIEW MORE

Git hunter - best free github source code