Add slides of lecture 5 and Coq examples