# HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

#### Apr 27, 2019

This seems to be the correct paper: https://arxiv.org/abs/1904.03241

#### Apr 26, 2019

The paper:HOList: An Environment for Machine Learning of Higher-Order Theorem Proving[1]