1 result found Sort:

uwdb
Cosette uwdb
55
671
bsd-2-clause
43
Cosette is an automated SQL solver.
coq sql rosette database verification
Created 2016-07-21
542 commits to master branch, last one about a month ago