Schlagwort-Archiv: Beweis

Lean.

Is it still a proof if it takes 4 minutes on a 4 GHz 12-core CPU?

Only quoted.

Beware of bugs in the above code;
I have only proved it correct, not tried it.

Donald Knuth, in a letter to Peter van Emde Boas