# Dépôts de Goedel-LM

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

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

Les 2 dépôts GitHub publics de Goedel-LM, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de Goedel-LM

2 dépôts publics de Goedel-LM au catalogue, du plus étoilé au moins étoilé.

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

## Voir Goedel-LM sur GitHub

- [https://github.com/Goedel-LM](https://github.com/Goedel-LM)

---
Données : GitHub