News
LSF registration/CMS registrations/Preparation for tomorrows session
Written on 07.01.2026 19:21 by Leon Pernak
Dear students,
I have been informed that now finally you can register for the seminar/proseminar on LSF, so please do so immediately (in particular, I was not given the info how long the registration is going to be possible now...)
For those who forgot: I have extended the deadline for the project registration on CMS to Friday. Please register if you haven't already and still want a project.
Lastly: For the next two sessions your practical task will be to implement a small project. Hence, to prepare before the session, to prevent sitting around and waiting for mathlib to download and compile, I recommend that you create a new mathlib project in VS Code before you come to the session.
All the best,
Leon