diff --git a/README.md b/README.md
new file mode 100644
index 0000000..06a5ff3
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# Lean Talk SP24
+
+These are the files used in my talk titled "A (very) Brief Introduction to lean 4".