From 9dac4dc9a50686bcfcb6f9f01861160d57f75325 Mon Sep 17 00:00:00 2001 From: Carlo Angiuli Date: Wed, 31 Jul 2024 11:12:31 -0500 Subject: [PATCH] Add Lecture 5 to README. --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index efcc9c5..256af9a 100644 --- a/README.md +++ b/README.md @@ -20,6 +20,10 @@ - [Exercises](2024-07-Minneapolis/4_Tactics/exercises_tactics.v) - [Solutions](2024-07-Minneapolis/4_Tactics/exercises_tactics_with_solutions.v) +### Lecture 5: Set-Level Mathematics (by Carlo Angiuli) +- [Lecture](2024-07-Minneapolis/5_Set-level-mathematics/lecture5.pdf) +- Exercises TBA +- Solutions TBA ## School on Univalent Mathematics, Cortona, 2022