Workshop on Hammers for Type Theory 2016

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

 doi:10.4204/EPTCS.210.4

BibTex

@proceedings{jbck-hatt16,
editor = {Jasmin Blanchette and Cezary Kaliszyk},
title = {Proceedings First Workshop on Hammers for Type Theory,
HaTT 2016},
booktitle = {Proceedings First Workshop on Hammers for Type Theory,
HaTT 2016},
series = {{EPTCS}},
volume = {210},
year = {2016},
url = {http://dx.doi.org/10.4204/EPTCS.210},
doi = {10.4204/EPTCS.210},
}