I don't think the math libraries for proof assistants are good enough to support undergrad math very well, but they may be occasionally useful in specific places. I still think you will dominantly be doing informal proofs to make progress with any velocity.