Stream: Geographic locality
Topic: Boston, USA
Alex J. Best (Feb 29 2020 at 04:24):
I'm in Boston, no idea if there are any other lean users in the area!
Jason Rute (Apr 12 2020 at 12:55):
I live in Somerville. MA. USA and work in Cambridge. MA. USA. Obviously I’m not leaving my home anytime soon, but when the CoronaVirus thing lets up I’d by happy to meet up with Boston area Lean users.
Sam Stites (Apr 12 2020 at 14:53):
I'm in Somerville as well! I used to try to do a daily lean exercise (I'm very new) but I'm currently in deadline mode. I'm thinking of trying to go through https://mitpress.mit.edu/books/topology after, mid May.
Miguel Raz Guzmán Macedo (Apr 12 2020 at 15:05):
Mexico City, Mexico / UNAM
Jalex Stark (Sep 11 2020 at 17:30):
I just moved to Cambridge. I'm happy to meet people outside for distanced, masked conversations / walks.
duck_master (Mar 18 2021 at 20:45):
I'm somewhere around this area too! (I don't want to give much more info because of privacy.)
Zygimantas Straznickas (Mar 23 2021 at 03:38):
+1 for Cambridge MA. Happy to meet and talk about Lean 4 and applying ML for theorem proving once people are vacinnated!
John Burnham (Sep 21 2021 at 22:04):
I'm also in the Boston area!
Xiyu Zhai (Jan 28 2022 at 05:16):
+1 Cambridge MA
Last updated: Sep 24 2022 at 17:19 UTC