From 5d54ff2df8cb52347361056a80b17e0cb0da0840 Mon Sep 17 00:00:00 2001
From: Sayantan Santra <35728385+SinTan1729@users.noreply.github.com>
Date: Wed, 7 Feb 2024 18:42:58 -0600
Subject: [PATCH] Update README.md

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 06a5ff3..ca94be2 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
 # Lean Talk SP24
 
 These are the files used in my talk titled "A (very) Brief Introduction to lean 4".
+
+[References](/references.md)