Workshop on Hammers for Type Theory 2016

Jasmin Blanchette, Cezary Kaliszyk (eds)
Proceedings First Workshop on Hammers for Type Theory, HaTT 2016,  210, 2016.

BibTeX     doi:10.4204/EPTCS.210.4