GamePad: A Learning Environment for Theorem Proving
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving