awesome-repositories.comBlog

© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com

MCP Blog Curated searches Sitemap Privacy Terms

DeepSeek Prover V2 | Awesome Repository

deepseek-aiDeepSeek-Prover-V2

0

View on GitHub↗

1,275 stars·102 forks·NOASSERTION·0 views

DeepSeek Prover V2

Features

Code and Formal Reasoning - Advancing formal mathematical reasoning via subgoal decomposition.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI