diff --git a/courses/KRMT.md b/courses/KRMT.md
index b8d682b777811793e136c7f377bce6541c23e86a..31981f743e4a35911145be15fe41d0c19958f4e6 100644
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -14,5 +14,12 @@ Theoriegraphen, Narrative Strukturen in informellen mathematisch/technischen Dok
 Formalisierung von Logiksprachen in Metalogiken.
 
 Da wir nur wenige Studenten erwarten, wollen wir diesen Kurs sehr interaktiv und
-Projektorientiert aufbauen. 
+Projektorientiert aufbauen. Im wesentlichen werden wir gemeinsam mathematisches Wissen und
+Beschreibungssprachen in [OMDoc/MMT](http://uniformal.github.io) formalisieren.
+
+Materialien:
+
+* [Course Notes (Computational Logic)](http://kwarc.info/teaching/KRMT)
+* [Tutorial zur Formalisierung](https://gl.mathhub.info/Teaching/KRMT/blob/master/source/tutorial/mmt-math-tutorial.pdf)
+* [Formalisierungen des letzten Kurses](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)