Zulip Chat Archive
Stream: Lean for the curious mathematician 2020
Topic: recordings
Johan Commelin (Jul 13 2020 at 17:40):
Recordings of the talks (not the breakout rooms) have been uploaded to youtube, and I've also added links to https://researchseminars.org/seminar/LeanCurious (@Andrew Sutherland, please let me know if it looks right).
Last updated: Dec 20 2023 at 11:08 UTC