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!
Miguel Raz Guzmán Macedo (Oct 28 2025 at 17:30):
Hola desde Ciudad de México!
Miguel Raz Guzmán Macedo (Oct 28 2025 at 17:31):
Al fin hice "Functional Programming in Lean4", parece que ya está todo lindo para entrarle otra vez :D
Luis Turcio (Nov 28 2025 at 03:44):
Hola desde la Facultad de Ciencias de la UNAM.
Nuestro grupo es pequeño pero intentaremos reunirnos para seguir aprendiendo. Si les interesa nos podemos poner de acuerdo para leer algo o hacer algo en Lean
Mario Xerxes Castelán Castro 🇲🇽 (Dec 01 2025 at 03:17):
Yo también soy de México.
Last updated: Dec 20 2025 at 21:32 UTC