jnpn @jnpn@mastodon.social · activity timestamp yesterday racket based solver-aided programminghttps://emina.github.io/rosette/ #racket #scheme #solver #sat #dsl #verification Read more Read less Translate Rosette: About The Rosette Language Reply Boost Quote You cannot quote this post Like More actions Copy link Flag this post Block
