Zulip Chat Archive
Stream: Lean Together 2026
Topic: Videos
Rémy Degenne (Jan 28 2026 at 13:10):
The videos of the talks are now available as a playlist on the leanprover community youtube channel: https://www.youtube.com/playlist?list=PLlF-CfQhukNmAVSsoqc0gcTWcVZ3VVKhI
Thanks Kim Morrison for dealing with the upload!
Michał Mrugała (Jan 28 2026 at 13:33):
Could my name in the title be updated to include the Polish characters "ł"?
Last updated: Feb 28 2026 at 14:05 UTC