* the Coq proof assistant, [home](http://coq.inria.fr) * Yves Bertot, Pierre Castéran, Le Coq' Art, 2011, [pdf](http://www.labri.fr/perso/casteran/CoqArt/coqartF.pdf) * Coq manual, [web](http://coq.inria.fr/doc/toc.html) * Coq tutorial, [web](http://coq.inria.fr/V8.1/tutorial.html) * the Coq standard library, [web](http://coq.inria.fr/stdlib/) * C-\CoRN, the Coq constructive repository at Nijmegen, [web](https://github.com/c-corn/corn/commit/c52cab66f35ded10aa7adad0f49f0e29f82f14f5)