From 02cdf8745131dad0a1ec6b135d3eb2f531428a96 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Thu, 24 Aug 2017 14:45:19 +0200
Subject: [PATCH] more

---
 courses/KRMT.md | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/courses/KRMT.md b/courses/KRMT.md
index b8d682b..31981f7 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)
 
-- 
GitLab