|
|
|
|
|
|
by jhanschoo
457 days ago
|
|
|
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. |
|
|