2 ms·What Happens to Software When Proof Is Cheap? [video]1 points by joomy 5mo agodeleted 5mo ago[deleted]