COQ Proof Assistant Tutorial
CoqIDE v8.10.2
CoqTutorial.pdf is the main tutorial file.
The corresponding example Coq files referred to within the tutorial are contained in the Example_Files directory.
The LaTeX files used to create the PDF are contained in the Tutorial direcotory.
The Presentation directory contains a powerpoint presentation on the Coq Proof Assistant. This presentation has not been updated for the newer release of Coq (v8.10.2) that the Tutorial has been updated for, but gives an overview of similar material.