3 ms·
that's essentially it, if the proof is incorrect it does not compile which signifies a problem in some step.
by frotaur 24d ago
that's essentially it, if the proof is incorrect it does not compile which signifies a problem in some step.
loading thread…