5 ms·
He is still working on it and the latest check I know about was from a few months ago: https://nickdrozd.github.io/2019/05/17/knuth-check.html https://nickdrozd
by JorgeGT 7y ago
He is still working on it and the latest check I know about was from a few months ago: https://nickdrozd.github.io/2019/05/17/knuth-check.html https://nickdrozd.github.io/2019/05/17/knuth-check.html but I still agree with your first sentence.