Owned teams

• Related packages
• Related projects
• Owned teams

Team owners are not always team members. The team participation page shows the teams that Simple Theorem Prover is a member of.

Simple Theorem Prover doesn't own any teams.