The TLA+ Outreach Committee brings together individuals who are passionate about advancing TLA+, promoting its adoption, and growing an engaged community.
We’re excited to invite the broader TLA+ community to join the next Outreach meeting on Thursday, December 18 at 11 AM PT. It’s a great chance to get involved, share your expertise, and connect with fellow community members.