4 ms·
As Donald Knuth would say: "Beware of bugs in the above code; I have only proved it correct, not tried it."
by pluies 16y ago
As Donald Knuth would say:
"Beware of bugs in the above code; I have only proved it correct, not tried it."
- shadowfox 16y agoThis quote shows up like canon in almost every thread that has anything to do with formally verifiable/verified software :P