3 ms·
"Beware of bugs in the above code; I have only proved it correct, not tried it." - Donald Knuth
by samolang 13y ago
"Beware of bugs in the above code; I have only proved it correct, not tried it." - Donald Knuth
- devrelm 13y agoThis appears to be a corollary: "Beware of bugs in the above code; I have only tried it, not proved it correct."