3 ms·Formal Methods was for people who didn't want to write any code.by sys_64738 3y agoFormal Methods was for people who didn't want to write any code.deleted 3y ago[deleted]