Zulip Chat Archive

Stream: Geographic locality

Topic: Urbana-Champaign, IL, USA


view this post on Zulip Vaibhav Karve (Apr 12 2020 at 13:21):

I'm in Urbana Champlain at the UofI. @DerekD and I dabble in Lean regularly. Not sure if there are others here that are working with mathlib. Would love to meet up!

view this post on Zulip Brandon Brown (May 03 2020 at 03:31):

I am moving there in July! My wife is starting as a new assistant professor at U of I

view this post on Zulip Vaibhav Karve (May 03 2020 at 16:15):

Hi Brandon. That's great. I'm thrilled to have another Lean user in our small community. Feel free to reach out should you or your wife need anything when you reach Urbana Champaign.

view this post on Zulip Vaibhav Karve (May 03 2020 at 16:15):

I'm vkarve2@illinois.edu

view this post on Zulip Brandon Brown (Jul 15 2020 at 19:26):

I'm officially setup here in Champaign - are you and whomever else meeting regularly?

view this post on Zulip Chris B (Aug 12 2020 at 00:02):

Brandon Brown said:

I'm officially setup here in Champaign - are you and whomever else meeting regularly?

I'm moving into the area this weekend. Let me know if you guys worked anything out.

view this post on Zulip Brandon Brown (Aug 15 2020 at 14:02):

Nothing is worked out but I’m around

view this post on Zulip Chris B (Aug 15 2020 at 16:26):

Brandon Brown said:

Nothing is worked out but I’m around

Ok, cool. I'm starting the big drive later today; I'll reach out and see if we can put something together when I get in town.

view this post on Zulip Chris B (Aug 21 2020 at 02:01):

For anyone interested, Brandon and I had (and survived) the first local Lean hang-out, so the ice at UIUC has officially been broken.


Last updated: May 09 2021 at 22:13 UTC