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