From f9644aa5eceb57206e517595bd0b3150e179b35b Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Sun, 28 Apr 2024 23:49:27 +0200
Subject: [PATCH] Update generate-benchmark-lean4.ipynb

---
 scripts/generate-benchmark-lean4.ipynb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/generate-benchmark-lean4.ipynb b/scripts/generate-benchmark-lean4.ipynb
index b66c189..fec970d 100644
--- a/scripts/generate-benchmark-lean4.ipynb
+++ b/scripts/generate-benchmark-lean4.ipynb
@@ -661,7 +661,7 @@
    "id": "4969e5ab",
    "metadata": {},
    "source": [
-    "We see the theorem's name and where it is defined. The thereom includes some traced tactics."
+    "We see the theorem's name and where it is defined. The theorem includes some traced tactics."
    ]
   },
   {