Zulip Chat Archive

Stream: Geographic locality

Topic: Rio de Janeiro, BR


view this post on Zulip Alexandre Rademaker (Apr 12 2020 at 12:45):

I am in Rio de Janeiro, Brazil

view this post on Zulip Marc Huisinga (Apr 12 2020 at 12:47):

the original point was for lean users to find other lean users in their local area. for instance, there's a cambridge user group, but cambridge students that find lean independently might not know that there are people that they can talk to about lean!

view this post on Zulip Scott Morrison (Apr 12 2020 at 12:47):

To discover/announce that there are other people interested in Lean in a particular geographic area. With COVID19 happening, this isn't that relevant, but hopefully will be again...

view this post on Zulip Kevin Buzzard (Apr 12 2020 at 13:10):

Alexandre Rademaker said:

I am in Rio de Janeiro, Brazil

You should start a new thread @Alexandre Rademaker !

view this post on Zulip Alexandre Rademaker (Apr 12 2020 at 13:41):

Hi Kevin, sorry. Creating now.


Last updated: May 09 2021 at 22:13 UTC