Coq related material for the Logic in computer science course - View it on GitHub