From b370692ec065a12ed06844c5a35cfd5202b2e9b1 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Tue, 26 Apr 2022 07:22:10 +0200
Subject: [PATCH] more metadata for KRMT

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

diff --git a/courses/KRMT.md b/courses/KRMT.md
index 0cd049d..102f0a2 100644
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -29,7 +29,9 @@ project-like. The contents are split between
 Materials:
 
 * [KRMT on StudOn](https://www.studon.fau.de/crs4499012.html)
-* [Course Notes, Hausaufgaben](http://kwarc.info/teaching/KRMT)
+* [Course on zoom](https://fau.zoom.us/j/65839665250)
+* [Videos on FAU.tv](https://www.fau.tv/course/id/3065)
+* [Course Notes, Resources](http://kwarc.info/teaching/KRMT)
 * [Formalization Tutorialz](https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf)
 * [Formalizations of the last years](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)
  
-- 
GitLab