Merge branch 'main' of ssh://github.com/code-refactor/code-refactor.github.io

Author: justinchiu-cohere

index.html

@@ -116,7 +116,7 @@ <h3>How We Do It</h3>
 		</ul>
 
 
-		<h3>The Math Behind It</h3>
+		<h3>Formalization</h3>
 		<p>Formally, given a set of original programs $\{\rho_n\}_{n=1}^N$, we want to find a new library $\mathcal{L}$ and refactored programs $\{\rho'_n\}_{n=1}^N$. We optimize the following objective:</p>
 
 		<div class="math-display">