有没有用Clojure编写的符号执行项目？

Question

如果您不知道，Clojure是否有与形式验证相关，但不是符号执行的项目？

Answer 1

https://github.com/Viasat/salt是一个很棒的Clojure API，用于TLA+。

https://github.com/sicmutils/sicmutils是一个活跃的项目，将包括符号计算在内的许多Sussman项目带到了Clojure中。

可能还有其他，这只是我想起来的。

Comments

太好了。谢谢。