Course material of recent Simons Foundation Lean workshop

Stream: general

[Ching-Tsun Chou]

Is the course material of the recent Simons Foundation Lean workshop (see below) available somewhere?

https://leanprover-community.github.io/blog/posts/simons-lean-workshop/

Thanks in advance!

[Chris Henson]

Their YouTube channel has posted videos: https://youtube.com/playlist?list=PLWAzLum_3a18wO6C7TP8_4XGw4pDxy6G5&si=NMWRvIH5L2CWu3cH

[Ching-Tsun Chou]

I know. But I'm looking for the slides and Lean examples. It is hard to reconstruct the latter just from looking at the screen.

[Filippo A. E. Nuccio]

In the blog post dedicated to the workshop there are links to the files as well.

[Heather Macbeth]

Here's the workshop repo:
https://github.com/hrmacbeth/Simons2025/
If it's not linked in the blog post, we should add it!

[Ching-Tsun Chou]

Thanks for the pointers!