For others: I learned a lot from reading the book "Mechanizing Proof". No knowledge of formal methods is needed (but you will learn something about formal methods while reading). I can't recommend the book highly enough.

http://www.amazon.com/Mechanizing-Proof-Computing-Inside-Tec...