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?

[Nathan Taylor]

Howdy, I'm a PhD student at UT working on systems verification; in a past life I worked as an engineer at various Scala shops, so looking forward to upping my FP game here!