Lies, Damned Lies and Proofs: Formal Methods Are Not Sloplesslesswrong.com94 pointsOgsyedIE5 months ago