Cosette

Cosette is an automated SQL solver.

662 stars

43 watching

54 forks

Language: Lean

last commit: almost 3 years ago

Linked from 2 awesome lists

coqdatabaserosettesqlverification

Backlinks from these awesome lists: