From eb673e816ca6ea612e80ae5e2dae40d5c3c9f8a0 Mon Sep 17 00:00:00 2001
From: Sayantan Santra <35728385+SinTan1729@users.noreply.github.com>
Date: Mon, 5 Feb 2024 21:33:03 -0600
Subject: [PATCH] Create README.md

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 README.md

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".