diff --git a/courses/KRMT.md b/courses/KRMT.md index 222af23b23822f0e4b58f3b4dc130b938c318c15..0a4be1da8db030c93015fbce45e60e615e10fbce 100644 --- a/courses/KRMT.md +++ b/courses/KRMT.md @@ -22,7 +22,7 @@ Beschreibungssprachen in [OMDoc/MMT](http://uniformal.github.io) formalisieren. Materialien: * [Course Notes, Hausaufgaben](http://kwarc.info/teaching/KRMT) -* [Tutorial zur Formalisierung](https://gl.mathhub.info/Teaching/KRMT/blob/master/source/tutorial/mmt-math-tutorial.pdf) +* [Tutorial zur Formalisierung](https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/source/tutorial/mmt-math-tutorial.pdf) * [Formalisierungen des letzten Kurses](https://gl.mathhub.info/Teaching/KRMT/tree/master/source) Diskussionen finden auf dem