Not logged in. · Lost password · Register

Member since Oct 2019
38 posts
Subject: 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.

Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen