GitHub repository: sarvex/tensorflow-deepmath
Primary language: C++
Description: Experiments towards neural network theorem proving