Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

[OgsyedIE]

Article URL: https://www.lesswrong.com/posts/rhA...es-and-proofs-formal-methods-are-not-slopless

Comments URL: https://news.ycombinator.com/item?id=46615084

Points: 57

# Comments: 28