Hacker News Reader

What do you mean? Mathematics is all about formal verification, i.e. proofs.

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