Lies, Damned Lies, and Proofs: Formal Methods are not Slopless — LessWrong

1 min read Original article ↗

x

Lies, Damned Lies, and Proofs: Formal Methods are not Slopless — LessWrong