Urbana-Champaign, IL, USA

Stream: Geographic locality

[Vaibhav Karve]

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!

[Brandon Brown]

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

[Vaibhav Karve]

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.

[Vaibhav Karve]

I'm vkarve2@illinois.edu

[Brandon Brown]

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

[Chris B]

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.

[Brandon Brown]

Nothing is worked out but I’m around

[Chris B]

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.

[Chris B]

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

[Seth Poulsen]

For people affiliated with University of Illinois:
Grigore Rosu is teaching CS 522 Programming Language Semantics this semester, using Lean.

[Seth Poulsen]

He seems to have changed his mind and is going back to Maude, which is what he usually uses to teach it sigh