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):
Last updated: Dec 20 2023 at 11:08 UTC