Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
---|---|---|---|---|
Inherited from Advanced Formal Tools |
Maintainer
|
Aug 07, 2019
Mar 07, 2023
May 20, 2025
| ||
Inherited from Advanced Formal Tools |
Maintainer
|
Feb 15, 2019
Mar 07, 2023
Oct 17, 2024
| ||
Inherited from Advanced Formal Tools |
Maintainer
|
Dec 13, 2017
Mar 07, 2023
Aug 20, 2024
| ||
Inherited from Advanced Formal Tools |
Owner
|
Oct 08, 2018
Mar 01, 2023
May 20, 2025
| ||
Inherited from Advanced Formal Tools |
Owner
|
Jan 28, 2022
Mar 01, 2023
Jan 24, 2025
|