Carst/coq-workshop-2014 archive