Zulip Chat Archive

Stream: Geographic locality

Topic: Austin, TX, USA

view this post on Zulip 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.

view this post on Zulip Walter Moreira (May 04 2020 at 22:06):

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

view this post on Zulip 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: Sep 24 2022 at 17:19 UTC