3 ms·
I would expect one can reason about the program of the proof in less than 100 hours, which is essentially the proof.
by ewrcoffee 9y ago
I would expect one can reason about the program of the proof in less than 100 hours, which is essentially the proof.