3 ms·
This looks like a good time to quote Knuth: "Beware of bugs in the above code; I have only proved it correct, not tried it."
by vilya 17y ago
This looks like a good time to quote Knuth:
"Beware of bugs in the above code; I have only proved it correct, not tried it."
- vinutheraj 17y agoYes, exactly, what if the thing they proved is not what they coded in the end, there is a good enough probability of bugs if the code is sufficiently big !