Zulip Chat Archive

Stream: Lean Together 2021

Topic: stream events


Notification Bot (Dec 31 2020 at 18:49):

Stream created by Rob Lewis.

Rob Lewis (Dec 31 2020 at 18:50):

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

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?

Kevin Buzzard (Jan 02 2021 at 12:12):

Check out the link in the post above yours.

Javier Prieto (Jan 02 2021 at 12:44):

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

Yury G. Kudryashov (Jan 02 2021 at 19:34):

Schedule


Last updated: Dec 20 2023 at 11:08 UTC