Formal Methods of Software Design – Bunches and Sets [video]youtube.com5 points·ThisIsMyAltAcct··0 commentsOpen articleSaveView on HN