J jakob.space What I've Learned About Formal Methods in Half a Year 164 points todsacerdoti 3 years ago 70 comments
