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):
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