3 ms·Synthesis and Verification for All – Emina Torlak, Clojure West [video]1 points by espeed 7y ago