3 ms·Of course, Knuth's proof was not mechanically checked...by dllthomas 9y agoOf course, Knuth's proof was not mechanically checked...