Welcome! Please see the About page for a little more info on how this works.
Do you know of any projects related to formal verification that are written in Clojure, if not symbolic execution?
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.
