Update index.html

index.html

@@ -445,9 +445,9 @@ <h2 class="title is-3"><span class="dvima" id="chatgpt-for-theorem-proving">Chat
             <div class="rows is-centered ">
                 <div class="row is-full-width">
                     <h2 class="title is-3"><span class="lean-infer">Running Neural Networks Directly in Lean</span></h2>
-                    <img src="images/LeanInfer.png" width="40%" class="interpolation-image" alt="" style="display: block; margin-left: auto; margin-right: auto"/>
+                    <img src="images/LeanInfer.png" width="70%" class="interpolation-image" alt="" style="display: block; margin-left: auto; margin-right: auto"/>
                     <br />
-                    <p style="font-size: 125%">In a follow-up study, we release LeanInfer: a tool for running the inference of neural networks in Lean through FFI. It is under development and currently provides a tactic for suggesting proof steps. </p>
+                    <p style="font-size: 125%">In a follow-up study, we release <a target="_blank" href="https://github.com/lean-dojo/LeanInfer">LeanInfer</a>: a tool for running the inference of neural networks in Lean through FFI. It is under development and currently provides a tactic for suggesting proof steps. </p>
                 </div>
             </div>
         </div>