Update README.md

UniMath · Jul 26, 2022 · ab62e10 · ab62e10
1 parent be04f21
commit ab62e10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/))