From ab62e1075171b5baf22da1bc1ec1dcb5d8f3ef2b Mon Sep 17 00:00:00 2001 From: Benedikt Ahrens Date: Tue, 26 Jul 2022 12:23:56 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index dd4242a..9cfd4e5 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,7 @@ ### Lecture 2: Fundamentals of Coq (by [Marco Maggesi](https://sites.google.com/unifi.it/maggesi/)) - [Lecture](https://github.com/UniMath/Schools/tree/master/2022-07-Cortona/2_Fundamentals-Coq) -### Lecture 3: Univalent foundations (by Paige Randall North) +### Lecture 3: Univalent foundations (by [Paige Randall North](https://paigenorth.github.io/)) - [Lecture](https://github.com/UniMath/Schools/tree/master/2022-07-Cortona/3_Univalent-foundations.pdf) ### Lecture 4: Tactics in UniMath (by [Ralph Matthes](https://www.irit.fr/~/Ralph.Matthes/))