From e617364ba2185eb2e3f916d4afbf55c4bb254fac Mon Sep 17 00:00:00 2001 From: Benedikt Ahrens Date: Tue, 30 Jul 2024 18:05:37 +0200 Subject: [PATCH] correct typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 9c59502..efcc9c5 100644 --- 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)