deepseek-ai
/

DeepSeek-Prover-V1

Model card Files Files and versions

deepseekrzz commited on Aug 16, 2024

Commit

0d6116d

·

verified ·

1 Parent(s): f2087b6

Update README.md

Files changed (1) hide show

README.md +2 -2

README.md CHANGED Viewed

@@ -1,6 +1,6 @@
 ---
 license: other
-license_name: deepseek
 license_link: LICENSE
 ---
 <!-- markdownlint-disable first-line-h1 -->
@@ -44,7 +44,7 @@ license_link: LICENSE
 </div>
 <p align="center">
   <a href="#2-evaluation-results">Evaluation Results</a> |
-  <a href="#3-model-downloads">Model Download</a> |
   <a href="#4-license">License</a> |
   <a href="#5-contact">Contact</a>
 </p>

 ---
 license: other
+license_name: deepseek-license
 license_link: LICENSE
 ---
 <!-- markdownlint-disable first-line-h1 -->
 </div>
 <p align="center">
   <a href="#2-evaluation-results">Evaluation Results</a> |
+  <a href="#3-model-&amp;-dataset-downloads">Model & Dataset Downloads</a> |
   <a href="#4-license">License</a> |
   <a href="#5-contact">Contact</a>
 </p>