The docs for the Rosette language used to write their verified interpreter: https://docs.racket-lang.org/rosette-guide/index.html https://docs.racket-lang.org/

The docs for the Rosette language used to write their verified interpreter: https://docs.racket-lang.org/rosette-guide/index.html https://docs.racket-lang.org/rosette-guide/index.html A talk presenting the language by the author (Emina Torlak): https://m.youtube.com/watch?v=nOyIKCszNeI&t=3245s&pp=ygUOcmFja2V0IHJvc2V0dGU%3D https://m.youtube.com/watch?v=nOyIKCszNeI&t=3245s&pp=ygUOcmF...