Zulip Chat Archive
Stream: Geographic locality
Topic: Mexico City, Mexico
Samuel Lelièvre (Apr 12 2020 at 16:46):
Miguel Raz Guzmán Macedo said:
Mexico City, Mexico / UNAM
Opening new thread "Mexico City, Mexico" (you posted in the Boston thread).
Miguel Raz Guzmán Macedo (Jul 05 2020 at 19:06):
Aqui andamos!
Miguel Raz Guzmán Macedo (Apr 12 2021 at 01:46):
Alright tomorrow is this post's :birthday: and I'm still the only one around here, but now starting with Lean4. Vengaaaa!
Violeta Hernández (Nov 22 2021 at 02:29):
¡Hola!
Violeta Hernández (Nov 22 2021 at 02:30):
I'm from Monterrey, but will be moving to Guanajuato in a few weeks
Alfredo Álvarez (México) (Apr 02 2022 at 04:19):
Good luck. Greetings from Guadalajara.
Alfredo Álvarez (México) (Apr 06 2022 at 01:13):
@sir Cris
Roberto Alvarez (Aug 02 2022 at 03:48):
Hola desde Cuernavaca! :wave:
Violeta Hernández (Aug 02 2022 at 11:02):
Hola!
Last updated: Dec 20 2023 at 11:08 UTC