Zulip Chat Archive

Stream: Lean Together 2021

Topic: talk recordings


view this post on Zulip 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.

view this post on Zulip Damiano Testa (Jan 03 2021 at 19:00):

I am happy for my talk to be recorded!

Thanks for organising!


Last updated: May 08 2021 at 21:09 UTC