# deepseek-ai/deepseek-prover-v2

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/deepseek-ai-deepseek-prover-v2).**

1,275 stars · 102 forks · NOASSERTION

## Links

- GitHub: https://github.com/deepseek-ai/DeepSeek-Prover-V2
- awesome-repositories: https://awesome-repositories.com/repository/deepseek-ai-deepseek-prover-v2.md

## Tags

### Part of an Awesome List

- [Code and Formal Reasoning](https://awesome-repositories.com/f/awesome-lists/ai/code-and-formal-reasoning.md) — Advancing formal mathematical reasoning via subgoal decomposition.