3 ms·
It could prove its own correctness, but there is still the possibility that it has a bug that causes its proof of correctness to be meaningless :-)
by taktoa 8y ago
It could prove its own correctness, but there is still the possibility that it has a bug that causes its proof of correctness to be meaningless :-)