Zulip Chat Archive

Stream: Geographic locality

Topic: Austin, TX, USA


Victor Freitas (Apr 12 2020 at 16:20):

Hi all, I'm in Austin. Currently at the curious/amateur level on math, Lean, and programming in general.

Walter Moreira (May 04 2020 at 22:06):

Hey @Victor Freitas I'm in Austin too. Just saying hi.

Agnishom Chattopadhyay (Jun 22 2020 at 00:41):

I am in Houston, in Rice University - guess that's not too far? I have some experience with Coq, really would not say great but I would like to learn more Lean sometime

Yury G. Kudryashov (May 22 2023 at 18:40):

I moved to College Station, TX, in August 2022. Are you all still nearby? If yes, should we meet in person some day?


Last updated: Dec 20 2023 at 11:08 UTC