Schlagwort: Beweis

Lean.

  • 2022-05-10

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

Only quoted.

  • 2022-03-25

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