Tägliches Archiv: 2022-05-10

Lean.

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