uwdb/Cosette

Cosette é um solver de SQL automatizado.

↗ Abrir no GitHub

Estrelas

686

Bifurcações

57

Linguagem

Lean

Licença

BSD-2-Clause

Último push

há 2 anos

Lean sql coq verification database rosette

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.