# Goedel-LM/Goedel-Prover-V2

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

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

Goedel-LM/Goedel-Prover-V2 has 195 stars on GitHub. Its RepoMasters card: Prototype tier. Language: Jupyter Notebook.

| Field | Value |
| --- | --- |
| Owner | [Goedel-LM](https://repo.masters-masters.com/en/owners/Goedel-LM) |
| Stars | 195 |
| Forks | 24 |
| Language | [Jupyter Notebook](https://repo.masters-masters.com/en/languages/jupyter-notebook) |
| License | None |
| Created | 2025 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [Goedel-LM/Goedel-Prover-V2](https://github.com/Goedel-LM/Goedel-Prover-V2) |

## Repository

No description.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by Goedel-LM

- [Goedel-LM/Goedel-Prover · ★ 240 · Python · Prototype](https://repo.masters-masters.com/en/repos/Goedel-LM/Goedel-Prover)

## Nearby in Jupyter Notebook

- [severian42/Vodalus-Expert-LLM-Forge · ★ 195 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/severian42/Vodalus-Expert-LLM-Forge)
- [sarvamai/sarvam-ai-cookbook · ★ 195 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/sarvamai/sarvam-ai-cookbook)
- [OpenHelix-Team/OpenTrajBooster · ★ 195 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/OpenHelix-Team/OpenTrajBooster)
- [oreillymedia/essential-sqlalchemy-2e · ★ 195 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/oreillymedia/essential-sqlalchemy-2e)
- [imatge-upc/activitynet-2016-cvprw · ★ 195 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/imatge-upc/activitynet-2016-cvprw)
- [dnc1994/Kaggle-Playground · ★ 195 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/dnc1994/Kaggle-Playground)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.