Zulip Chat Archive

Stream: Lean Together 2021

Topic: stream events


view this post on Zulip Notification Bot (Dec 31 2020 at 18:49):

Stream created by Rob Lewis.

view this post on Zulip Rob Lewis (Dec 31 2020 at 18:50):

This stream is for information and discussion about the meeting Lean Together 2021, Jan 4-7.

view this post on Zulip Javier Prieto (Jan 02 2021 at 11:59):

Hi, not sure I'm posting this on the right stream but anyway: is there a schedule yet?

view this post on Zulip Kevin Buzzard (Jan 02 2021 at 12:12):

Check out the link in the post above yours.

view this post on Zulip Javier Prieto (Jan 02 2021 at 12:44):

Ah, I missed the schedule tab the first time. Thanks!

view this post on Zulip Yury G. Kudryashov (Jan 02 2021 at 19:34):

Schedule


Last updated: May 08 2021 at 22:13 UTC