Zulip Chat Archive

Stream: Lean Together 2021

Topic: talk recordings


Rob Lewis (Jan 03 2021 at 15:33):

We plan to upload recordings of the talks to the Leanprover community YouTube channel. Because this event is spread across so many time zones, we think this is important to make the event accessible. And recordings from past events have been surprisingly popular on YouTube. Speakers: if you would prefer us not to record your talk, please tell us before your presentation.

Damiano Testa (Jan 03 2021 at 19:00):

I am happy for my talk to be recorded!

Thanks for organising!


Last updated: Dec 20 2023 at 11:08 UTC