Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
|---|---|---|---|---|
Inherited from math-comp |
Owner
|
Nov 21, 2017
Dec 06, 2018
Jul 09, 2025
| ||
Inherited from math-comp |
Developer
|
Mar 17, 2023
Apr 25, 2023
Jul 10, 2025
| ||
Inherited from math-comp |
Owner
|
Jul 05, 2017
Mar 10, 2023
Jul 10, 2025
| ||
Direct member by Erik Martin-Dorel |
Developer
|
Feb 15, 2022
Jul 12, 2024
Dec 15, 2024
| ||
Inherited from math-comp |
Owner
|
Dec 15, 2016
Mar 10, 2023
Jul 10, 2025
| ||
Direct member by Erik Martin-Dorel |
Developer
|
Nov 08, 2017
May 10, 2023
May 17, 2025
|
