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: May 02 2025 at 03:31 UTC