gnabgib on Formal Methods and the Future of Programming · Hackerly

Comment on Formal Methods and the Future of Programming parent

Other way around. Just an SCP fail (promoting an already popular story)