Search for a command to run...
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving