Have you tried Rosette?

clojure west 2017 talk:

site:
https://emina.github.io/rosette/index.html

docs:
https://docs.racket-lang.org/rosette-guide/index.html

1 Like

This topic was automatically closed 182 days after the last reply. New replies are no longer allowed.