I found Andrej Bauer's videos useful when I was learning coq.