Welcome! Please see the About page for a little more info on how this works.

0 votes
in Clojure by

Do you know of any projects related to formal verification that are written in Clojure, if not symbolic execution?

1 Answer

+2 votes

https://github.com/Viasat/salt is a a nice Clojure API to TLA+.

https://github.com/sicmutils/sicmutils is an active project bringing a lot of the Sussman projects to Clojure, including symbolic computation.

There are probably others, those are what came to top of mind.

Nice. Thank you.