Repetition Session next Monday

The repetition session will take place on

• Monday, 10 December from 13.15 to 16.00 in seminar room Perl (OJD building).

I will answer questions and present solutions to some of the oblig exercises. We will also have a short competition session with the provers submitted as part of oblig 2.

I recommend everybody to attend this repetition session.