Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
|---|---|---|---|---|
Inherited from The Rocq Prover |
Owner
|
Apr 03, 2024
Apr 03, 2024
May 09, 2025
| ||
Inherited from The Rocq Prover |
Maintainer
|
Mar 17, 2023
Aug 28, 2023
May 29, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Dec 19, 2024
Dec 19, 2024
May 28, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Mar 28, 2021
Mar 10, 2022
May 15, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Nov 03, 2016
Sep 05, 2023
May 28, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Nov 03, 2016
Nov 03, 2016
May 21, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Nov 03, 2016
Nov 03, 2016
May 28, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Nov 20, 2018
Sep 01, 2023
May 25, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Nov 03, 2016
Jun 27, 2024
May 13, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Aug 28, 2018
Aug 28, 2023
May 26, 2025
|
