Schlagwort: Beweis

But how do I center a proof?

  • 2024-09-09

Unlike Gentzen, we can make use of css and javascript

Paperproof README

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