Proceedings First International Workshop on Hammers for Type Theories
Logic in Computer Science
2016-06-20 v1 Artificial Intelligence
Machine Learning
Abstract
This volume of EPTCS contains the proceedings of the First Workshop on Hammers for Type Theories (HaTT 2016), held on 1 July 2016 as part of the International Joint Conference on Automated Reasoning (IJCAR 2016) in Coimbra, Portugal. The proceedings contain four regular papers, as well as abstracts of the two invited talks by Pierre Corbineau (Verimag, France) and Aleksy Schubert (University of Warsaw, Poland).
Keywords
Cite
@article{arxiv.1606.05427,
title = {Proceedings First International Workshop on Hammers for Type Theories},
author = {Jasmin Christian Blanchette and Cezary Kaliszyk},
journal= {arXiv preprint arXiv:1606.05427},
year = {2016}
}