Team participation for Mate Soos
Mate Soos is a member of the following teams:
| Team | Joined | Expires | Role | Via | Mailing List |
|---|---|---|---|---|---|
| Simple Theorem Prover | 2014-06-23 | — | Owner | — | — |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
bbfa235
demo site
(Get the code!)