Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Homework submission
We will submit the homeworks in the git repository https://gitlab.cs.fau.de/kwarc/krmtss20
Tell us your user name if you do not have access yet.
Homeworks and deadlines will be announced in the readme file there.