L lesswrong.com Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless 94 points OgsyedIE 9 months ago 44 comments
