diff --git a/README.md b/README.md
index 4a9daaed80a4dff3cd1a0fcc7ba176073ece458c..d5540877a7709bfe0d69b1d7b0d2c17db92d57de 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Coq development for the Semantics course at Saarland University
 
-This repository contains the Coq code for the Semantics course taught by Derek Dreyer at Saarland University.
+This repository contains the Coq code for [the Semantics course](https://plv.mpi-sws.org/semantics-course/) taught by Derek Dreyer at Saarland University. You can find an overview of how the Coq development maps to [the lecture notes](https://plv.mpi-sws.org/semantics-course/lecturenotes.pdf) of the course in the file [STRUCTURE](STRUCTURE.md).
 
 ## Installation Instructions