Zulip Chat Archive

Stream: Geographic locality

Topic: Mexico City, Mexico


view this post on Zulip 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).

view this post on Zulip Miguel Raz Guzmán Macedo (Jul 05 2020 at 19:06):

Aqui andamos!

view this post on Zulip 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!

view this post on Zulip Violeta Hernández (Nov 22 2021 at 02:29):

¡Hola!

view this post on Zulip Violeta Hernández (Nov 22 2021 at 02:30):

I'm from Monterrey, but will be moving to Guanajuato in a few weeks

view this post on Zulip Alfredo Álvarez (México) (Apr 02 2022 at 04:19):

Good luck. Greetings from Guadalajara.

view this post on Zulip Alfredo Álvarez (México) (Apr 06 2022 at 01:13):

@sir Cris

view this post on Zulip Roberto Alvarez (Aug 02 2022 at 03:48):

Hola desde Cuernavaca! :wave:

view this post on Zulip Violeta Hernández (Aug 02 2022 at 11:02):

Hola!


Last updated: Sep 24 2022 at 17:19 UTC