Stream: Geographic locality
Evelyn Mitchell (Apr 12 2020 at 14:11):
I'm in Colorado, US
Dan Stanescu (Apr 12 2020 at 21:53):
@Evelyn Mitchell Are you in Fort Collins by chance?
Evelyn Mitchell (Apr 13 2020 at 02:26):
I am. Are you?
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.
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.
Dan Stanescu (Apr 13 2020 at 21:51):
Last updated: May 09 2021 at 21:10 UTC