3 ms·

Not quite. Proofs, in practice, are not programs. They do not contain every detail, nor are they written in completely consistent language.