GamePad: A learning environment for theorem proving