Search Results for author:
Found 1 papers, 0 papers with code
Proceedings First International Workshop on Hammers for Type Theories
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
