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

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/deepseek-ai%2FDeepSeek-Prover-V1.5
PURL: pkg:github/deepseek-ai/DeepSeek-Prover-V1.5

Stars: 521
Forks: 233
Open issues: 8

License: mit
Language: Python
Size: 3.14 MB
Dependencies parsed at: Pending

Created at: 12 months ago
Updated at: 2 months ago
Pushed at: 12 months ago
Last synced at: 2 months ago

Loading...