shumo/hottsql repository overview

⁠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 ([email protected]⁠) or create an issue if you find something doesn't work!