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!


Last updated: Jul 29 2021 at 20:11 UTC