Stream: Coq workshop 2020

Topic: Youtube Stream

view this post on Zulip Emilio Jesús Gallego Arias (Jul 05 2020 at 09:12):

Youtube stream can be found at https://www.youtube.com/watch?v=MJMLMBD_rdA

view this post on Zulip Bas Spitters (Jul 06 2020 at 13:41):

When are the separate videos expected to be available?

view this post on Zulip Emilio Jesús Gallego Arias (Jul 06 2020 at 13:55):

In theory pretty soon

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 14:02):

It depends on the IJCAR-FSCD organizers, not us.

Last updated: Feb 06 2023 at 07:03 UTC