Tensorflow Deepmath: Experiments towards neural network theorem provinggithub.com/tensorflow142 pointsrunesoerensen10 years ago