Zulip Chat Archive

Stream: Lean Together 2019

Topic: hello

view this post on Zulip Welcome Bot (Jan 04 2019 at 16:34):

Welcome to #Lean Together 2019.

Description: Communications for the Lean Together 2019 workshop.

view this post on Zulip 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

view this post on Zulip Kenny Lau (Jan 07 2019 at 10:31):

the gender composition of this workshop is very balanced

Last updated: May 08 2021 at 22:13 UTC