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.
Deadline for Assignment 2: December 1
Dear all,
as discussed during the lecture: the deadline for the second assignment (plnq proof rules in MMT) will be Sunday, December 1.
For the third assignment we don’t have any deadline yet, but please try to get GLF running on your machines in some form so that you can get started soon and we can actually set a deadline.
Best,
Frederik