projects

index.html

@@ -54,17 +54,16 @@ <h1>Projects</h1>
                 <img class="proj_image" src="images/proj_math.png" />
                 <div class="proj_desc">
                     <a class="proj_name" href="academic">Academic Pages</a>
-                    <div class="proj_text">Pages for my own writing about math proofs, algorithms, and more.
-                        For sharing my mathematical notes/writing style with others.</div>
+                    <div class="proj_text">Pages for my own writing about math proofs, algorithms, and more.</div>
                 </div>
             </div>
             <div class="proj_item">
-                <img class="proj_image" src="images/proj_fitch.png" />
+                <img class="proj_image" src="images/proj_fdb.png" />
                 <div class="proj_desc">
-                    <a class="proj_name" href="https://github.com/tkoz0/sequent-proof-interface-name" target="_blank">
-                        Sequent Proof Interface Name (SPIN)</a>
-                    <div class="proj_text">Web app for creating logic proofs using the Fitch Sequent System.
-                        A project for intermediate logic at RPI.</div>
+                    <a class="proj_name" href="https://fdb.tkoz.me" target="_blank">
+                        Factor Database</a>
+                    <div class="proj_text">
+                        Website for storing and tracking progress of integer factorization.</div>
                 </div>
             </div>
             <div class="proj_item">
@@ -74,7 +73,16 @@ <h1>Projects</h1>
                         Flame Fractal Renderer</a>
                     <div class="proj_text">Flame fractal renderer inspired by
                         <a href="https://flam3.com/" target="_blank">flam3</a>
-                        with plans to support 3D, color, and maybe even a fractal editor.</div>
+                        with plans to support 3D, color, and more.</div>
+                </div>
+            </div>
+            <div class="proj_item">
+                <img class="proj_image" src="images/proj_fitch.png" />
+                <div class="proj_desc">
+                    <a class="proj_name" href="https://github.com/tkoz0/sequent-proof-interface-name" target="_blank">
+                        Sequent Proof Interface Name (SPIN)</a>
+                    <div class="proj_text">Web app for creating logic proofs using the Fitch Sequent System.
+                        A project for intermediate logic at RPI.</div>
                 </div>
             </div>
             <div class="proj_item">