4 ms·

Yes, as far as I know it can be used for proofs - not having used it for proofs myself I can't say much more