diff --git a/2024-07-Minneapolis/3_Univalent-Foundations/minneapolis_lecture_3.pdf b/2024-07-Minneapolis/3_Univalent-Foundations/minneapolis_lecture_3.pdf new file mode 100644 index 0000000..d53d2dc Binary files /dev/null and b/2024-07-Minneapolis/3_Univalent-Foundations/minneapolis_lecture_3.pdf differ diff --git a/README.md b/README.md index a593450..9c59502 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) -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)