correct typo

UniMath · Jul 30, 2024 · e617364 · e617364
1 parent 1db9607
commit e617364
Showing 1 changed file with 1 addition and 1 deletion.
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)
-- [Lecture](2024-07-Minneapolis/3_Univalent-Foundations/minneapolis_lecture_3.v)
+- [Lecture](2024-07-Minneapolis/3_Univalent-Foundations/minneapolis_lecture_3.pdf)
 
 ### Lecture 4: Tactics in Coq (by Benedikt Ahrens)
 - [Lecture](2024-07-Minneapolis/4_Tactics/tactics_lecture.v)