GitHub repository: uwdb/Cosette
Primary language: Lean
Description: Cosette is an automated SQL solver.