I haven't tried it with analysis, but I did for linear algebra. It would quickly spot flaws in my proof.