Zulip Chat Archive
Stream: Geographic locality
Topic: Rio de Janeiro, BR
Alexandre Rademaker (Apr 12 2020 at 12:45):
I am in Rio de Janeiro, Brazil
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!
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...
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 !
Alexandre Rademaker (Apr 12 2020 at 13:41):
Hi Kevin, sorry. Creating now.
Last updated: Dec 20 2023 at 11:08 UTC