Austin, TX, USA

Stream: Geographic locality

[Victor Freitas]

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

[Walter Moreira]

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

[Agnishom Chattopadhyay]

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]

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