INFO on the final examination:
oral examination consisting in solving exercises on paper or via a proof-assistant before hand
on a date agreed between the student and the lecturer
on demand: partial examination after 20th April on a date agreed between the student and the lecturer
