Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: 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. 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).

11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex