News
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 |
Mathematics in LeanWritten on 06.11.25 by Leon Pernak Dear participants, Todays materials are online. Until next week, please Finish the NNG if you haven't yet. Install Lean and VSCode (or another suitable editor of your choice) on your machine Clone the Mathematics in Lean repo, and open it in VSCode to initialize/compile. You can do so… Read more Dear participants, Todays materials are online. Until next week, please Finish the NNG if you haven't yet. Install Lean and VSCode (or another suitable editor of your choice) on your machine Clone the Mathematics in Lean repo, and open it in VSCode to initialize/compile. You can do so by cloning the repository via git, or hitting the universal quantifier button in VSCode (upper right), choose Open Project - > Download Project -> Choose suggestion Mathematics in Lean. The repository takes a while to download and compile, so please do this before next weeks seminar. All the best, Leon |