3 ms·

One day, perhaps. Automatic checking of proofs is nowhere near there yet for most serious mathematics.