|
|
|
|
|
|
by gregschlom
1784 days ago
|
|
|
It's a joke. You'd expect that a proof of correctness to be the Holy Grail. Nothing could be wrong, since it's proved correct. And yet, after running it, you could still find a bug in it, because you may have made a mistake in your proof. |
|
|