Skip to content

LifeIsStrange/Cosette

 
 

Repository files navigation

Gitter chat Build Status

Cosette

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

About

Cosette is an automated SQL solver.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Lean 45.0%
  • Racket 27.4%
  • Coq 16.7%
  • Haskell 9.0%
  • Python 1.5%
  • Shell 0.2%
  • Other 0.2%