News
Mathematics in Lean
Written on 06.11.2025 17:15 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 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