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: Feb 28 2026 at 14:05 UTC