Update index.html

lean-dojo · Oct 26, 2023 · ee1e37e · ee1e37e
1 parent 79abd30
commit ee1e37e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -113,15 +113,15 @@ <h3 class="title is-4 conference-authors"><a target="_blank" href="https://nips.
                             <span>Models</span>
                             </a>
 
-                            <a target="_blank" href="https://zenodo.org/record/8242196"
+                            <a target="_blank" href="https://zenodo.org/doi/10.5281/zenodo.8016385"
                             class="external-link button is-normal is-rounded is-dark">
                             <span class="icon">
                                 <i class="fas fa-database"></i>
                             </span>
                             <span>Dataset (Lean 3)</span>
                             </a>
 
-                            <a target="_blank" href="https://zenodo.org/record/8242200"
+                            <a target="_blank" href="https://zenodo.org/doi/10.5281/zenodo.8040109"
                             class="external-link button is-normal is-rounded is-dark">
                             <span class="icon">
                                 <i class="fas fa-database"></i>