I have a blog (http://poleiro.info) about the Coq proof assistant, please check it out!