videos and slides

Stream: LftCM22

[Yakov Pechersky]

Will there be a common place to see the videos and/or slides after the conference?

[Phil Wood]

I am not sure about videos, but it looks like there are a bunch of slides here:
https://leanprover.zulipchat.com/#narrow/stream/330515-LftCM22/topic/slides.20and.20materials.20from.20talks