Owned teams

• Related packages
• Related projects
• Owned teams

Team owners are not always team members. The team participation page shows the teams that TLA+ is a member of.

TLA+ doesn't own any teams.