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.
Last updated: May 09 2021 at 21:10 UTC
Sebastián Galkin (Aug 25 2020 at 02:36):Hello all,
Learning Lean from Sao Paulo.
Last updated: May 09 2021 at 21:10 UTC