b'@proceedings{HaTT2016,'b'\nTITLE = {Proceedings First International Workshop on Hammers for Type Theories (HaTT 2016)},\nEDITOR = {Blanchette, Jasmin Christian and Kaliszyk, Cezary},\nLANGUAGE = {eng},\nDOI = {10.4204/EPTCS.210},\nEPRINT = {1606.05427},\nEPRINTTYPE = {arXiv},\nPUBLISHER = {EPTCS},\nYEAR = {2016},\nPAGES = {35 p.},\nSERIES = {Electronic Proceedings in Theoretical Computer Science},\nVOLUME = {210},\nADDRESS = {Coimbra, Portugal},\n}\n'