4 ms·Because the interpreter for mathematical proofs is far more forgiving than the interpreter for code.by bsznjyewgd 9y agoBecause the interpreter for mathematical proofs is far more forgiving than the interpreter for code.