4 ms·
> Untested But proven correct? https://www-cs-faculty.stanford.edu/~knuth/faq.html https://www-cs-faculty.stanford.edu/~knuth/faq.html
by smnrchrds 5y ago
> Untested
But proven correct?
https://www-cs-faculty.stanford.edu/~knuth/faq.html https://www-cs-faculty.stanford.edu/~knuth/faq.html
- bradrn 5y agoSorry, nope. I didn’t bother proving correctness for such a small toy example. (Besides, I wouldn’t know how.)