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: May 08 2021 at 21:09 UTC