# GitHub repos by Goedel-LM

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

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

All 2 public GitHub repos by Goedel-LM in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by Goedel-LM

2 public repos by Goedel-LM in the catalog, most starred first.

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

## See Goedel-LM on GitHub

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

---
Data: GitHub