# Goedel-LM/Goedel-Prover

<https://repo.masters-masters.com/repos/Goedel-LM/Goedel-Prover>

[Accueil](https://repo.masters-masters.com/) › [Goedel-LM](https://repo.masters-masters.com/owners/Goedel-LM) › [Goedel-Prover](https://repo.masters-masters.com/repos/Goedel-LM/Goedel-Prover)

Goedel-LM/Goedel-Prover, dépôt open source à 241 étoiles sur GitHub. Carte Prototype de RepoMasters. Langage : Python.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Goedel-LM](https://repo.masters-masters.com/owners/Goedel-LM) |
| Étoiles | 241 |
| Forks | 35 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | MIT |
| Création | 2025 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [Goedel-LM/Goedel-Prover](https://github.com/Goedel-LM/Goedel-Prover) |

## Fiche du dépôt

Pas de description.

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de Goedel-LM

- [Goedel-LM/Goedel-Prover-V2 · ★ 195 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/repos/Goedel-LM/Goedel-Prover-V2)

## D’autres dépôts Python

- [orbi-build/orbi · ★ 241 · Python · Prototype](https://repo.masters-masters.com/repos/orbi-build/orbi)
- [DannyMac180/astra-advisor · ★ 241 · Python · Prototype](https://repo.masters-masters.com/repos/DannyMac180/astra-advisor)
- [Tencent-Hunyuan/Hy-SimulMT · ★ 241 · Python · Prototype](https://repo.masters-masters.com/repos/Tencent-Hunyuan/Hy-SimulMT)
- [rupa/j2 · ★ 241 · Python · Prototype](https://repo.masters-masters.com/repos/rupa/j2)
- [bitly/bitly-api-python · ★ 241 · Python · Prototype](https://repo.masters-masters.com/repos/bitly/bitly-api-python)
- [plex-unofficial/PornHub.bundle · ★ 241 · Python · Prototype](https://repo.masters-masters.com/repos/plex-unofficial/PornHub.bundle)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.