GitHub repository: tensorflow/deepmath
Primary language: C++
Created: 2016-11-07T21:31:45Z
Description: Experiments towards neural network theorem proving