Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

AlphaUncommon

uwdb/Cosette

Cosette is an automated SQL solver.

Owner: uwdb (organization)
Stars: Stars: 690
Forks: Forks: 57
Language: Lean
License: BSD-2-Clause
Created: 2016
Topics: rosettecoqsqldatabaseverification
Tier: Alpha (250 to 699 ★) What this tier means

Nearby in Lean

leanprover-community/physlibStars: 818LeanBeta
google-deepmind/superhumanStars: 807LeanBeta
leanprover/cslibStars: 789LeanBeta
litexlang/golitexStars: 683LeanAlpha
AndrasKovacs/smallttStars: 611LeanAlpha
teorth/equational_theoriesStars: 563LeanAlpha