TY  - RPRT
TI  - HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
AU  - Kshitij Bansal
AU  - Sarah M. Loos
AU  - Markus N. Rabe
AU  - Christian Szegedy
AU  - Stewart Wilcox
PY  - 2019
UR  - https://arxiv.org/abs/1904.03241
ID  - 1904.03241
ER  -