https://github.com/uwdb/Cosette

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

Cosette

Cosette is a language, and an automated solver for reasoning SQL equivalences.

• Read Introducing Cosette
• See the Cosette Guide to see how to use Cosette
• Try Cosette online demo
• Check out cosette website for research papers about Cosette

This project is in active development. Shoot us a message (cosette@cs.washington.edu) or create an issue if you find something doesn't work!