# tensorflow/deepmath

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

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

tensorflow/deepmath, dépôt open source à 789 étoiles sur GitHub. Carte Bêta de RepoMasters. Experiments towards neural network theorem proving Langage : C++.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [tensorflow](https://repo.masters-masters.com/owners/tensorflow) |
| Étoiles | 789 |
| Forks | 137 |
| Langage | [C++](https://repo.masters-masters.com/languages/c-plus-plus) |
| Licence | Apache-2.0 |
| Création | 2016 |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [tensorflow/deepmath](https://github.com/tensorflow/deepmath) |

## Fiche du dépôt

Experiments towards neural network theorem proving

Archivé : ce dépôt n’évolue plus

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## Autres dépôts de tensorflow

- [tensorflow/tensorflow · ★ 201 253 · C++ · LTS](https://repo.masters-masters.com/repos/tensorflow/tensorflow)
- [tensorflow/models · ★ 77 637 · Python · LTS](https://repo.masters-masters.com/repos/tensorflow/models)
- [tensorflow/tfjs · ★ 19 156 · TypeScript · Stable](https://repo.masters-masters.com/repos/tensorflow/tfjs)
- [tensorflow/tensor2tensor · ★ 17 472 · Python · Stable](https://repo.masters-masters.com/repos/tensorflow/tensor2tensor)
- [tensorflow/tfjs-models · ★ 14 814 · TypeScript · Stable](https://repo.masters-masters.com/repos/tensorflow/tfjs-models)
- [tensorflow/playground · ★ 13 078 · TypeScript · Stable](https://repo.masters-masters.com/repos/tensorflow/playground)

## D’autres dépôts C++

- [mattgodbolt/seasocks · ★ 789 · C++ · Bêta](https://repo.masters-masters.com/repos/mattgodbolt/seasocks)
- [jussihi/PUBG-map-hack · ★ 789 · C++ · Bêta](https://repo.masters-masters.com/repos/jussihi/PUBG-map-hack)
- [nishant-Tiwari24/data-structures-algorithms · ★ 789 · C++ · Bêta](https://repo.masters-masters.com/repos/nishant-Tiwari24/data-structures-algorithms)
- [StegHigh/steghide · ★ 788 · C++ · Bêta](https://repo.masters-masters.com/repos/StegHigh/steghide)

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.