diff --git a/docs/index.html b/docs/index.html
index f2ef7ad..b7071ab 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -177,7 +177,7 @@ <h2 class="title is-3">Abstract</h2>
            </p> 
           <p>
             PutnamBench consists of 1724 hand-constructed formalizations of problems sourced from the William Lowell Putnam Mathematical Competition, the premier undergraduate-level mathematics competition in North America. 
-            There are 660 problems formalized in Lean 4, 640 formalized in Isabelle, and 412 formalized in Coq.
+            There are 672 problems formalized in Lean 4, 640 formalized in Isabelle, and 412 formalized in Coq.
           </p>
           <p>
             Proving the theorems requires significant problem-solving ability and proficiency in a broad range of topics taught in undergraduate mathematics courses. We use PutnamBench to evaluate several established neural and symbolic theorem-provers.