Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

AlphaPeu commune

uwdb/Cosette

Cosette is an automated SQL solver.

Propriétaire: uwdb (organisation)
Étoiles: Étoiles : 690
Forks: Forks : 57
Langage: Lean
Licence: BSD-2-Clause
Création: 2016
Sujets: rosettecoqsqldatabaseverification
Rang: Alpha (250 à 699 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Lean

Tous les dépôts Lean

leanprover-community/physlibÉtoiles : 818LeanBêta
google-deepmind/superhumanÉtoiles : 807LeanBêta
leanprover/cslibÉtoiles : 789LeanBêta
litexlang/golitexÉtoiles : 683LeanAlpha
AndrasKovacs/smallttÉtoiles : 611LeanAlpha
teorth/equational_theoriesÉtoiles : 563LeanAlpha