Stream: Coq Workshop 2021

Topic: Recorded talks?


view this post on Zulip Yannick Zakowski (Jul 01 2021 at 11:05):

Hello,
I will unfortunately be unable to attend Tomorrow. Are the talks planned to be recorded by any chance?

view this post on Zulip Christian Doczkal (Jul 01 2021 at 11:09):

As stated on the website, the event is being recorded and we plan to make the recordings available.

view this post on Zulip Yannick Zakowski (Jul 01 2021 at 11:28):

Oh absolutely, my apologies I should have read more carefully -.-

view this post on Zulip Christian Doczkal (Jul 01 2021 at 11:35):

No problem.


Last updated: Aug 11 2022 at 01:03 UTC