Update index.html

index.html

@@ -172,6 +172,7 @@ <h2 class="title is-3"><span class="lean-infer">LLMs as Copilots for Theorem Pro
         <div class="rows">
             <div class="rows is-centered">
                 <div class="row is-full-width">
+                    <h2 class="title is-3"><span class="lean-infer">Overview</span></h2>
                     <img src="images/LeanDojo.jpg" class="interpolation-image" alt="" style="display: block; margin-left: auto; margin-right: auto"/>
                     <br /> 
                     <p style="font-size: 125%"><b>Top right</b>: LeanDojo extracts proofs in <a target="_blank" href="https://leanprover.github.io/">Lean</a> into datasets for training machine learning models. It also enables the trained model to prove theorems by interacting with Lean's proof environment.</p>