Zulip Chat Archive
Stream: general
Topic: DeepSpec Summer School Lectures
Simon Hudon (Aug 01 2018 at 16:37):
The videos of the DeepSpec summer school lectures have been uploaded: https://deepspec.org/event/dsss18/videos.html
Unfortunately, it does not include the students talks (among others, my Lean tactic demonstration).
Last updated: Dec 20 2023 at 11:08 UTC