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