3 ms·
That's the old "formal proofs are useless because the proof checker might have a bug" argument. It's not very persuasive.
by MichaelBurge 10y ago
That's the old "formal proofs are useless because the proof checker might have a bug" argument. It's not very persuasive.
- scott_karana 10y agoIt's MaulingMonkey's argument ad absurdum is what is is :P