Coq related material for the Logic in computer science course