Zulip Chat Archive

Stream: Lean Together 2019

Topic: hello

Welcome Bot (Jan 04 2019 at 16:34):

Welcome to #Lean Together 2019.

Description: Communications for the Lean Together 2019 workshop.

Rob Lewis (Jan 04 2019 at 16:35):

For people who aren't able to join us in Amsterdam: the tutorials and talks will be streamed and recorded, links available on the website. https://lean-forward.github.io/lean-together/2019/index.html

Kenny Lau (Jan 07 2019 at 10:31):

the gender composition of this workshop is very balanced

Last updated: Dec 20 2023 at 11:08 UTC