Rosette is a solver-aided language for program synthesis and verificationgithub.com/emina1 pointzitterbewegung8 years ago