Zulip Chat Archive
Stream: general
Topic: how to access the talks?
Rina Paucar Rojas (Jul 13 2020 at 09:20):
Hello guys, I am wondering how to access the talks? is there a Zoom link? or everything is in Zulip?
Scott Morrison (Jul 13 2020 at 09:21):
@Rina Paucar Rojas, join the "Lean for the curious mathematican" stream, and you can find the zoom link there.
Rina Paucar Rojas (Jul 13 2020 at 09:25):
Scott Morrison said:
Rina Paucar Rojas, join the "Lean for the curious mathematican" stream, and you can find the zoom link there.
Than you!!!!! :D
Rina Paucar Rojas (Jul 13 2020 at 09:26):
@Scott Morrison Thank you!!
Last updated: Dec 20 2023 at 11:08 UTC