Update index.html

lean-dojo · Mar 9, 2024 · aed959a · aed959a
1 parent 9dbfe20
commit aed959a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -226,7 +226,7 @@ <h2 class="title is-3"><span class="dvima">Benchmarks</span></h2>
                     <p style="font-size: 125%">
                         <ul style="font-size: 125%; padding-left: 5%">
                             <li><a href="https://doi.org/10.5281/zenodo.8016385"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8016385.svg" alt="DOI"></a> <b>LeanDojo Benchmark</b>: 98,734 theorems/proofs, 217,776 tactics, and 130,262 premises from <a target="_blank" href="https://github.com/leanprover-community/mathlib/tree/19c869efa56bbb8b500f2724c0b77261edbfa28c">mathlib</a>.</li>
-                            <li><a href="https://doi.org/10.5281/zenodo.8040109"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8040109.svg" alt="DOI"></a> <b>LeanDojo Benchmark 4</b>: 102,514 theorems/proofs, 213,067 tactics, and 152,695 premises from <a target="_blank" href="https://github.com/leanprover-community/mathlib4/tree/3ce43c18f614b76e161f911b75a3e1ef641620ff">mathlib4</a>.</li>
+                            <li><a href="https://doi.org/10.5281/zenodo.8040109"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8040109.svg" alt="DOI"></a> <b>LeanDojo Benchmark 4</b>: 106,446 theorems/proofs, 219,791 tactics, and 158,266 premises from <a target="_blank" href="https://github.com/leanprover-community/mathlib4/tree/3ce43c18f614b76e161f911b75a3e1ef641620ff">mathlib4</a>.</li>
                         </ul>
                     </p>
                     <br />