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.

Paul Schwahn (Sep 22 2024 at 11:37):

Hi all! I am starting as a postdoc at Unicamp next week (and will be living in Campinas). I've been learning Lean for some time and would love to have some people to connect (and perhaps even start a formalization project).


Last updated: May 02 2025 at 03:31 UTC