3 ms·Rosette is a solver-aided language for program synthesis and verification1 points by zitterbewegung 9y ago