~

lean-dojo · Jun 26, 2023 · c44a1c9 · c44a1c9
1 parent 79d1092
commit c44a1c9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/index.html b/index.html
@@ -405,7 +405,8 @@ <h2 class="title is-3"><span class="dvima">Discovering New Proofs</span></h2>
                     <h2 class="title is-3"><span class="dvima">ChatGPT for Theorem Proving</span></h2>
 
                     <p>We build a <a target="_blank" href="https://github.com/lean-dojo/LeanDojoChatGPT">LeanDojo ChatGPT plugin</a> that enables ChatGPT to prove theorems by interacting with Lean. </p>
-
+                    <br />
+
                     <div class="columns">
                         <div class="column has-text-left video-column">
                             <video controls muted autoplay loop width="100%">