Merge pull request #162 from pitmonticone/main

Fix typo in notebook

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."
    ]
   },
   {