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