Update paper link for theorem proving project

alexjdean · Oct 26, 2024 · 0766258 · 0766258
1 parent 9fc5969
commit 0766258
Showing 1 changed file with 11 additions and 4 deletions.
diff --git a/research.html b/research.html
@@ -27,9 +27,16 @@ <h2>Papers & Publications</h2>
                     In the future, the plan is to have each paper link to a page of its own.
                     So, I'll keep the following code commented out, for now.
                  -->
-                <!-- <li><a href="papers/paper3.html">Firefighting on the Hexagonal Grid and on Infinite Trees</a>, appeared in <i>Discrete Applied Mathematics</i> &mdash; With Sean English, Tongyun Huang, Robert A. Krueger, Andy Lee, Mose Mizrahi, and Casey Wheaton-Werle; December 2021.</li>
-                <li><a href="papers/paper2.html">Automatic Theorem Proving</a> &mdash; With Reed Oei, Eric Ma, Tatum Schmidt, Christian Shulz, and Philipp Hieronymi; December 2019.</li>
-                <li><a href="papers/paper1.html">Explorations of the Stern Sequence</a> &mdash; With Grace Jaffe, Jared Lobo, and Philipp Hieronymi; August 2019.</li> -->
+                <!-- <li><a href="papers/paper3.html">Firefighting on the Hexagonal Grid and on 
+                    Infinite Trees</a>, appeared in <i>Discrete Applied Mathematics</i> &mdash; 
+                    With Sean English, Tongyun Huang, Robert A. Krueger, Andy Lee, Mose Mizrahi, 
+                    and Casey Wheaton-Werle; December 2021.
+                </li>
+                <li><a href="papers/paper2.html">Automatic Theorem Proving</a> &mdash; With Reed Oei, 
+                    Eric Ma, Tatum Schmidt, Christian Shulz, and Philipp Hieronymi; December 2019.
+                </li>
+                <li><a href="papers/paper1.html">Explorations of the Stern Sequence</a> &mdash; With 
+                    Grace Jaffe, Jared Lobo, and Philipp Hieronymi; August 2019.</li> -->
 
                 <li>
                     <a href="https://arxiv.org/abs/2010.05060">Firefighting on the Hexagonal Grid 
@@ -38,7 +45,7 @@ <h2>Papers & Publications</h2>
                         Mose Mizrahi, and Casey Wheaton-Werle; December 2021.
                 </li>
                 <li>
-                    <a href="https://drive.google.com/file/d/19p6n-YainAuNyQ-YCsbzyDRRAzUMeNXC/view">
+                    <a href="https://drive.google.com/file/d/1_iUSjX1ibRGEQcAiCl4i1aZqD6LwIzlB/view">
                         Automatic Theorem Proving</a> &mdash; With Reed Oei, Eric Ma, Tatum 
                         Schmidt, Christian Shulz, and Philipp Hieronymi; December 2019.
                 </li>