updated coq lectures