Speaking of the lack of education in proofs and popularizing math, do you (or anyone else here) know of good resources to practice and learn more about proofs? I've asked several professors and TAs in my CS program and they say "practice," but they couldn't point to any good tools for self-teaching and I don't really feel confident evaluating the material I've found on my own.