Zulip Chat Archive

Stream: Geographic locality

Topic: São Paulo, Brazil


Sebastián Galkin (Aug 25 2020 at 02:36):

Hello all,

Learning Lean from Sao Paulo.

Arthur Paulino (Oct 21 2021 at 22:51):

1 year later:
Hi there!
@Sebastián Galkin are you still around?

Éricles Aquiles Lima (Jan 17 2023 at 01:43):

1+ year later
Hi there!
I'm in Campinas, actually, but it's close enough :p:

Adolfo Neto (Oct 21 2023 at 21:21):

I used to live in Campinas while I was doing my PhD at USP São Paulo.


Last updated: Dec 20 2023 at 11:08 UTC