Zulip Chat Archive
Stream: Geographic locality
Topic: Natick, MA
Vasu (Aug 01 2021 at 05:30):
Hi folks, I live in Natick. If anyone in the Boston area interested in talking about Dependent Type Theory, Coq and Lean. I would be very delighted!
Last updated: Dec 20 2023 at 11:08 UTC