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