Lec2 reading material link added

csci5535 · Sep 3, 2024 · ae38da4 · ae38da4
1 parent 0ae3d35
commit ae38da4
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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">