3 ms·What Happens to Software When Proof Is Cheap? Allen School Distinguished Lecture [video]2 points by matt_d 6mo ago