3 ms·
In order to carry the proof, you have to parse it early (otherwise you're not carrying it the whole time before parsing), so you you're both right.
by just6979 8mo ago
In order to carry the proof, you have to parse it early (otherwise you're not carrying it the whole time before parsing), so you you're both right.