Blanchette, J. C., & Kaliszyk, C. (Eds.). (2016). Proceedings First International Workshop on Hammers for Type Theories. http://about.eptcs.org/: EPTCS. doi:10.4204/EPTCS.210.