From 4a542ec2b221f1f896f6f5883abf01284ccedc8f Mon Sep 17 00:00:00 2001
From: George Tsoukalas <99286219+GeorgeTsoukalas@users.noreply.github.com>
Date: Fri, 26 Dec 2025 15:31:06 +0000
Subject: [PATCH] Update index.html

660 -> 672
---
 docs/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.