GamePad: A Learning Environment for Theorem Proving
End-to-end Differentiable Proving