Zulip Chat Archive

Stream: Geographic locality

Topic: Colorado


view this post on Zulip Evelyn Mitchell (Apr 12 2020 at 14:11):

I'm in Colorado, US

view this post on Zulip Dan Stanescu (Apr 12 2020 at 21:53):

@Evelyn Mitchell Are you in Fort Collins by chance?

view this post on Zulip Evelyn Mitchell (Apr 13 2020 at 02:26):

I am. Are you?

view this post on Zulip Dan Stanescu (Apr 13 2020 at 14:36):

Nope, but Laramie is not that far. Good to know there's someone interested in Lean close by.

view this post on Zulip Evelyn Mitchell (Apr 13 2020 at 15:28):

I also know a few people in Boulder who are interested in Formal Methods. Perhaps a virtual meetup is in order.

view this post on Zulip Dan Stanescu (Apr 13 2020 at 21:51):

Agreed.


Last updated: Jul 29 2021 at 20:11 UTC