From ae38da488db20dca1651d0fc03c051861551e985 Mon Sep 17 00:00:00 2001
From: Gowtham Kaki <gowtham.kaki@colorado.edu>
Date: Tue, 3 Sep 2024 16:04:31 -0600
Subject: [PATCH] Lec2 reading material link added

---
 schedule.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/schedule.md b/schedule.md
index df027b3..7db672c 100644
--- a/schedule.md
+++ b/schedule.md
@@ -21,6 +21,9 @@ permalink: /schedule/
         <br />
         <a
         href="https://cuboulder.zoom.us/rec/share/w8URo5UhBNqmVL01C6eVOJ1Rt270nHiWOifXuLRz9yaFpRWtKhcNNG2wcVHQteTW.KEZxjz6Tq4Us3G5Z">Lec 2 Zoom Recording</a>
+        <br />
+        <a
+        href="https://leanprover.github.io/logic_and_proof_lean3/natural_deduction_for_propositional_logic.html">Lec2 Reading</a>
     </td>
   </tr>
   <tr class="lecture">