Zulip Chat Archive

Stream: Geographic locality

Topic: Rio de Janeiro, Brazil


Lucas Teixeira (Oct 28 2021 at 01:43):

Hello! I'm also in Rio

Thiago Andrade (May 25 2024 at 21:53):

Hi I'm from Rio anyone right now learning lean from here also?

Eduardo Ochs (May 26 2024 at 04:21):

Almost - I live and work in Rio das Ostras, about 170km away...

Adolfo Neto (Jun 02 2024 at 18:13):

I have created a group on Telegram
https://t.me/leanlangbr

There we can write in Portuguese

Thiago Andrade (Jun 02 2024 at 18:21):

Ah Nice


Last updated: May 02 2025 at 03:31 UTC