Because the current state of the art of automated proof checking is still trying to check all the proofs you'll see in a undergraduate program and nowhere near

Because the current state of the art of automated proof checking is still trying to check all the proofs you'll see in a undergraduate program and nowhere near able to check state of the art proofs.