1 result found Sort:

uwdb
Cosette uwdb
54
668
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 4 days ago