Zulip Chat Archive

Stream: Geographic locality

Topic: Baltimore MD and Washington DC, USA


Ben (Jun 17 2023 at 23:12):

Hello,

I'm in Silver Spring, MD and collaborating with folks in Catonsville, MD.

Notification Bot (Jun 17 2023 at 23:15):

This topic was moved here from #Geographic locality > Baltimore MD and Washinton DC, USA by Ben.

Tyler Josephson ⚛️ (Jun 18 2023 at 03:54):

I and many students learning Lean are at UMBC in Catonsville / right outside Baltimore


Last updated: Dec 20 2023 at 11:08 UTC