2 ms·

I think they mean computer-verified proofs. As you note, the existing proofs are already formally verified, so this might not add much.