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?
Last updated: Oct 06 2022 at 05:33 UTC