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: May 02 2025 at 03:31 UTC