Update index.html

minor formatting
lean-dojo · Apr 22, 2024 · 7be2a0b · 7be2a0b
1 parent a18db62
commit 7be2a0b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/index.html b/index.html
@@ -448,10 +448,10 @@ <h2 class="title">BibTeX</h2>
 }
 
 @article{song2024towards,
-  title={Towards Large Language Models as Copilots for Theorem Proving in {Lean}},
-  author={Peiyang Song and Kaiyu Yang and Anima Anandkumar},
-  year={2024},
-  journal = {arXiv preprint arXiv: Arxiv-2404.12534}
+    title={Towards Large Language Models as Copilots for Theorem Proving in {Lean}},
+    author={Peiyang Song and Kaiyu Yang and Anima Anandkumar},
+    year={2024},
+    journal = {arXiv preprint arXiv: Arxiv-2404.12534}
 }</code></pre>
     </div>
 </section>