E emina.github.io Rosette – A solver-aided programming language that extends Racket 142 points tosh 9 years ago 11 comments
