Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
http://arxiv.org/abs/1606.05427 (beliebiger Volltext)
Blanchette, J. C., & Kaliszyk, C. (Eds.). (2016). Proceedings First International Workshop on Hammers for Type Theories. doi:10.4204/EPTCS.210.