BetaRare
tensorflow/deepmath
Experiments towards neural network theorem proving
Archived: this repository is read-only
- Owner
- tensorflow (organization)
- Stars
- Stars: 789
- Forks
- Forks: 137
- Language
- C++
- License
- Apache-2.0
- Created
- 2016
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by tensorflow
All 87 repos by tensorflow- tensorflow/tensorflowStars: 201,253C++LTS
- tensorflow/modelsStars: 77,637PythonLTS
- tensorflow/tfjsStars: 19,156TypeScriptStable
- tensorflow/tensor2tensorStars: 17,472PythonStable
- tensorflow/tfjs-modelsStars: 14,814TypeScriptStable
- tensorflow/playgroundStars: 13,078TypeScriptStable
Nearby in C++
All C++ repos- mattgodbolt/seasocksStars: 789C++Beta
- jussihi/PUBG-map-hackStars: 789C++Beta
- nishant-Tiwari24/data-structures-algorithmsStars: 789C++Beta
- StegHigh/steghideStars: 788C++Beta