@Inproceedings{EPTCS210.1, author = {Corbineau, Pierre}, year = {2016}, title = {Generic Automation for the Coq Proof Assistant: Design and Principles}, editor = {Blanchette, Jasmin Christian and Kaliszyk, Cezary}, booktitle = {{\rm Proceedings First International Workshop on} Hammers for Type Theories, {\rm Coimbra, Portugal, July 1, 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {210}, publisher = {Open Publishing Association}, pages = {1-1}, doi = {10.4204/EPTCS.210.1}, }