# deepseek-ai/DeepSeek-Prover-V1.5

<https://repo.masters-masters.com/en/repos/deepseek-ai/DeepSeek-Prover-V1.5>

[Home](https://repo.masters-masters.com/en) › [deepseek-ai](https://repo.masters-masters.com/en/owners/deepseek-ai) › [DeepSeek-Prover-V1.5](https://repo.masters-masters.com/en/repos/deepseek-ai/DeepSeek-Prover-V1.5)

deepseek-ai/DeepSeek-Prover-V1.5 has 592 stars on GitHub. Its RepoMasters card: Alpha tier. Language: Python.

| Field | Value |
| --- | --- |
| Owner | [deepseek-ai](https://repo.masters-masters.com/en/owners/deepseek-ai) |
| Stars | 592 |
| Forks | 249 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2024 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [deepseek-ai/DeepSeek-Prover-V1.5](https://github.com/deepseek-ai/DeepSeek-Prover-V1.5) |

## Repository

No description.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by deepseek-ai

- [deepseek-ai/deepseek-harness · ★ 271,654 · TypeScript · LTS](https://repo.masters-masters.com/en/repos/deepseek-ai/deepseek-harness)
- [deepseek-ai/DeepSeek-V3 · ★ 104,728 · Python · LTS](https://repo.masters-masters.com/en/repos/deepseek-ai/DeepSeek-V3)
- [deepseek-ai/DeepSeek-R1 · ★ 91,999 · LTS](https://repo.masters-masters.com/en/repos/deepseek-ai/DeepSeek-R1)
- [deepseek-ai/awesome-deepseek-integration · ★ 39,703 · LTS](https://repo.masters-masters.com/en/repos/deepseek-ai/awesome-deepseek-integration)
- [deepseek-ai/DeepInfer · ★ 25,291 · Python · LTS](https://repo.masters-masters.com/en/repos/deepseek-ai/DeepInfer)
- [deepseek-ai/DeepSeek-Coder · ★ 24,346 · Python · LTS](https://repo.masters-masters.com/en/repos/deepseek-ai/DeepSeek-Coder)

## Nearby in Python

- [WenyuChiou/ai-research-skills · ★ 592 · Python · Alpha](https://repo.masters-masters.com/en/repos/WenyuChiou/ai-research-skills)
- [blogminhquy/javis-os · ★ 592 · Python · Alpha](https://repo.masters-masters.com/en/repos/blogminhquy/javis-os)
- [FuRongJun-1999/dsh-memory · ★ 592 · Python · Alpha](https://repo.masters-masters.com/en/repos/FuRongJun-1999/dsh-memory)
- [marcelm/cutadapt · ★ 592 · Python · Alpha](https://repo.masters-masters.com/en/repos/marcelm/cutadapt)
- [aio-libs/aiodns · ★ 592 · Python · Alpha](https://repo.masters-masters.com/en/repos/aio-libs/aiodns)
- [ikostrikov/TensorFlow-VAE-GAN-DRAW · ★ 592 · Python · Alpha](https://repo.masters-masters.com/en/repos/ikostrikov/TensorFlow-VAE-GAN-DRAW)

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