Cosette

Cosette是一个自动SQL解算器。

fork
55
star
594

Cosette是什么?

Cosette是一个自动SQL解算器。

Cosette点评

暂无点评
类别: SQL , 数据库 , Coq