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
Last updated: Jul 29 2021 at 20:11 UTC