HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (2019)arxiv.org·13 pts·mathematically·3