lec 3

UniMath · Jul 30, 2024 · 1db9607 · 1db9607
1 parent 764411f
commit 1db9607
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/2024-07-Minneapolis/3_Univalent-Foundations/minneapolis_lecture_3.pdf b/2024-07-Minneapolis/3_Univalent-Foundations/minneapolis_lecture_3.pdf
diff --git a/README.md b/README.md
@@ -12,7 +12,7 @@
 - [Solutions](2024-07-Minneapolis/2_Coq/coq_solutions.v)
 
 ### Lecture 3: Univalent Foundations (by Paige Randall North)
-TBA
+- [Lecture](2024-07-Minneapolis/3_Univalent-Foundations/minneapolis_lecture_3.v)
 
 ### Lecture 4: Tactics in Coq (by Benedikt Ahrens)
 - [Lecture](2024-07-Minneapolis/4_Tactics/tactics_lecture.v)