# tensorflow/deepmath

<https://repo.masters-masters.com/en/repos/tensorflow/deepmath>

[Home](https://repo.masters-masters.com/en) › [tensorflow](https://repo.masters-masters.com/en/owners/tensorflow) › [deepmath](https://repo.masters-masters.com/en/repos/tensorflow/deepmath)

tensorflow/deepmath has 789 stars on GitHub. Its RepoMasters card: Beta tier. Experiments towards neural network theorem proving Language: C++.

| Field | Value |
| --- | --- |
| Owner | [tensorflow](https://repo.masters-masters.com/en/owners/tensorflow) |
| Stars | 789 |
| Forks | 137 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | Apache-2.0 |
| Created | 2016 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [tensorflow/deepmath](https://github.com/tensorflow/deepmath) |

## Repository

Experiments towards neural network theorem proving

Archived: this repository is read-only

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by tensorflow

- [tensorflow/tensorflow · ★ 201,263 · C++ · LTS](https://repo.masters-masters.com/en/repos/tensorflow/tensorflow)
- [tensorflow/models · ★ 77,638 · Python · LTS](https://repo.masters-masters.com/en/repos/tensorflow/models)
- [tensorflow/tfjs · ★ 19,158 · TypeScript · Stable](https://repo.masters-masters.com/en/repos/tensorflow/tfjs)
- [tensorflow/tensor2tensor · ★ 17,472 · Python · Stable](https://repo.masters-masters.com/en/repos/tensorflow/tensor2tensor)
- [tensorflow/tfjs-models · ★ 14,814 · TypeScript · Stable](https://repo.masters-masters.com/en/repos/tensorflow/tfjs-models)
- [tensorflow/playground · ★ 13,080 · TypeScript · Stable](https://repo.masters-masters.com/en/repos/tensorflow/playground)

## Nearby in C++

- [mattgodbolt/seasocks · ★ 789 · C++ · Beta](https://repo.masters-masters.com/en/repos/mattgodbolt/seasocks)
- [vxlang/vxlang-page · ★ 789 · C++ · Beta](https://repo.masters-masters.com/en/repos/vxlang/vxlang-page)
- [nishant-Tiwari24/data-structures-algorithms · ★ 789 · C++ · Beta](https://repo.masters-masters.com/en/repos/nishant-Tiwari24/data-structures-algorithms)
- [StegHigh/steghide · ★ 788 · C++ · Beta](https://repo.masters-masters.com/en/repos/StegHigh/steghide)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.