Formalizing Mathematics in LEAN

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

Dear students,

Here is the link for the course evaluation:

https://qualis.uni-saarland.de/eva/?l=160894&p=7j6vw3

I very kindly ask you to take a brief moment to answer it - as I said in the beginning, I'm running this course for the first time and some more feedback would be quite helpful.

Best,

Leon

Dear students,

Since multiple people asked recently: The seminar has not yet been added to the examinations in LSF, so you cannot officially register for it yet. This will happen in due time (~ early December) in accordance to all guidelines by the informatics and math departments.

I'll inform and remind you to register once the entries have been set up.

See you Thurdsday,

Leon