Cosette is an automated SQL solver powered by Coq/Lean and Rosette.
Clone or download
Latest commit ff8ffcd Sep 18, 2018

Gitter chat Build Status


Note: we are busy developing Cosette 2.0, any feature request on Cosette 1.0 will not be considered.

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

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