leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: LftCM22

Topic: Access to videos for non-participant?


Damiano Testa (Jul 12 2022 at 20:59):

Dear All,

I am not registered to the conference, but I was wondering if it was possible nonetheless to have access to the live videos for the rest of the week.

If it is not possible, then I'll just wait for the recordings!

Thank you very much!

Junyan Xu (Jul 13 2022 at 05:29):

just DM'd you


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll