From fe0ab057dfd2be50663808bb0b564ace9520519d Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Thu, 26 Oct 2017 09:40:15 +0200
Subject: [PATCH] materialien

---
 courses/lbs.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/courses/lbs.md b/courses/lbs.md
index ab79053..37c43a5 100644
--- a/courses/lbs.md
+++ b/courses/lbs.md
@@ -24,6 +24,11 @@ Die Vorlesung
 aus dem vorhergehenden Sommer-Semester ist sehr hilfreich für den praktischen Teil, aber
 keine notwendige Voraussetzung.
 
+Die Kursmaterialien (wichtig vor allem die
+[course notes](https://new.kwarc.info/teaching/LBS/Notes.pdf, aber auch Hausaufgaben)
+finden sich [hier](https://new.kwarc.info/teaching/LBS/). Die Resourcen des LBS Labs sind
+im [LBS Lab Repository](https://gl.mathhub.info/Teaching/LBS) auf [MathHub](http://mathhub.info).
+
 Diskussionen finden auf dem
 [FSI Forum LBS](https://fsi.cs.fau.de/forum/152-Logik-Basierte-Sprachverarbeitung) statt. Dies ist
 eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
-- 
GitLab