uwdb/Cosette

Cosette is an automated SQL solver.

⭐ 686 ⑂ 57 Lean BSD-2-Clause · 2024-12-18推送

coq database sql verification rosette

686

Watchers

0

贡献者

0

Commits

0

Releases

27

Open Issues

2024-12-18

最近推送

原文中文

暂无 README