How did Software get so reliable without Proof? (Tony Hoare) [PDF]
People > Companies ❤️ - programming.dev [Unofficial]
June 4, 2026
submitted by HaraldvonBlauzahn to programming
10 points | 1 comments
https://6826.csail.mit.edu/2020/papers/noproof.pdf
Discussion in the ATmosphere