3 ms·
If you have a runtime check of some correctness, why can't you just prove that the output of your compiler always passes that check?
by Ohentis 27d ago
If you have a runtime check of some correctness, why can't you just prove that the output of your compiler always passes that check?