Search for a command to run...
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving