Coq in a Hurry
<|reference_start|>Coq in a Hurry: These notes provide a quick introduction to the Coq system and show how it can be used to define logical concepts and functions and reason about them. It is designed as a tutorial, so that readers can quickly start their own experiments, learning only a few of the capabilities of the system. A much more comprehensive study is provided in [1], which also provides an extensive collection of exercises to train on.<|reference_end|>
@article{bertot2006coq,
    title={Coq in a Hurry},
    author={Yves Bertot (INRIA Sophia Antipolis)},
    journal={Cours (2008) 22 pages},
    year={2006},
    archivePrefix={arXiv},
    eprint={cs/0603118},
    primaryClass={cs.LO}
}