My solutions to the Coq in a Hurry [1], along with some of my own solutions to given proofs in the book. To run must have coq installed, I used vscoq for development
[1] Yves Bertot. Coq in a Hurry. 3rd cycle. Types Summer School, also used at the University of Goteborg, Nice, Ecole Jeunes Chercheurs en Programmation,Universite de Nice, 2010, pp.42. inria-00001173v4