3 ms·

it probably does work fine if your job is to only to prove theorems. the theorems will wait for you overnight.