News
Course evaluationWritten on 11.12.25 by Leon Pernak 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… Read more 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 |
Progress in MiL courseWritten on 27.11.25 by Leon Pernak Dear students, The notes for today's session are online. Our goal is to finish the Chapter 3 (Logic) of the Mathematics in Lean course by the end of next session, so please finish secion 1-5 of that chapter before. Best, Leon
|
LSF registration/DeadlinesWritten on 11.11.25 by Leon Pernak 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… Read more 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 |