Repository

Stream: ItaLean 2025

[Pietro Monticone]

Hi everyone, the GitHub repository of the event is now publicly available at https://github.com/pitmonticone/ItaLean2025.

To be better prepared for tutorials and project sessions, we encourage you to try installing Lean 4 and troubleshooting any issues before the conference starts. Installation problems can sometimes take time to solve, and it would be helpful if participants arrive with their environment mostly ready.

Please remember to bring your own laptop, as it will be essential for following the tutorials and for participating in project work sessions.

There will nonetheless be a dedicated troubleshooting session on the first afternoon for installation and GitHub issues, running in parallel with the initial project activities.

[Alessandro D'Angelo]

Hi! Will all the slides/presentation will be uploaded to the repo at some point?

[Bhavik Mehta]

Leo's slides and my notes are in the repo

[Filippo A. E. Nuccio]

I've just added mine.

[Lawrence Wu (llllvvuu)]

The Aristotle tutorial slides are in the repo as well. Further questions can be directed to myself, @Vikram Shanker, and @Alex J. Best.

[Emily Riehl]

My slides are currently in a PR.

[Alex Kontorovich]

Slides added to repo: https://github.com/pitmonticone/ItaLean2025/blob/main/presentations/ItaLeanKontorovich.pdf