~

index.html

@@ -337,7 +337,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.8016386"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8016386.svg" alt="DOI"></a> <b>LeanDojo Benchmark</b>: 96,962 theorems/proofs, 212,787 tactics, and 128,163 premises extracted from <a target="_blank" href="https://github.com/leanprover-community/mathlib/tree/8c1b484d6a214e059531e22f1be9898ed6c1fd47">mathlib</a>.</li>
-                            <li><a href="https://doi.org/10.5281/zenodo.8040110"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8040110.svg" alt="DOI"></a> <b>LeanDojo Benchmark 4</b>: 91,766 theorems/proofs and 177,349 tactics extracted from <a target="_blank" href="https://github.com/leanprover-community/mathlib4/tree/5a919533f110b7d76410134a237ee374f24eaaad">mathlib4</a> Premise information will be available soon.</li>
+                            <li><a href="https://doi.org/10.5281/zenodo.8040110"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8040110.svg" alt="DOI"></a> <b>LeanDojo Benchmark 4</b>: 91,766 theorems/proofs and 177,349 tactics extracted from <a target="_blank" href="https://github.com/leanprover-community/mathlib4/tree/5a919533f110b7d76410134a237ee374f24eaaad">mathlib4</a>. Premise information will be available soon.</li>
                         </ul>
                     </p>
                     <br />