I'm having exactly this experience, of a lack of feedback, with proofs. It also seems frustratingly ironic to me that you can never be sure that a "proof" of th

I'm having exactly this experience, of a lack of feedback, with proofs. It also seems frustratingly ironic to me that you can never be sure that a "proof" of the truth of a theorem is actually true... I'm learning COQ (proof assistant), to make some aspects of it automatically checkable. The feedback of programming is also encouraging and satisfying, and this makes it more easily self-taught, like a (computer) game. Unit testing builds on this. PS: My proofs are part of my compsci PhD, which began without any maths; so I choose a supervisor has some knowledge of proofs but isn't very experienced in them. Perhaps more guidance with proofs could really help...? Things are finally coming together for, but I keep stumbling on what I think are extremely elementary proof ideas (e.g. that f(AUB) = f(A) U f(B) ). My feeling is that rigorously understanding takes effort, no matter how good the guidance.