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
@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}, }