uwdb/Cosette

Cosette 是个自动化 SQL 求解器。

↗ 在 GitHub 打开

星数

686

Fork 数

57

语言

Lean

许可

BSD-2-Clause

最后推送

2年前

Lean sql coq verification database rosette

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。