Rosette解算器辅助的编程语言认领

Rosette 是新的计算机辅助解析编程（SDSLs）语言，扩展了 Racket 的一些特性：合成，验证，调试和执行。Rosette 是一个解算器辅助