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
Jan 07, 2025
| ||
Inherited from The Rocq Prover |
Maintainer
|
Mar 17, 2023
Aug 28, 2023
Apr 10, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Dec 19, 2024
Dec 19, 2024
| ||
Inherited from The Rocq Prover |
Owner
|
Mar 28, 2021
Mar 10, 2022
Apr 04, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Nov 03, 2016
Sep 05, 2023
Apr 09, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Nov 03, 2016
Nov 03, 2016
Apr 06, 2025
| ||
Direct member by ZIMMERMANN Theo |
Owner
|
Feb 15, 2022
Oct 16, 2024
Dec 15, 2024
| ||
Inherited from The Rocq Prover |
Owner
|
Nov 03, 2016
Nov 03, 2016
Apr 10, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Nov 20, 2018
Sep 01, 2023
Apr 07, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Nov 03, 2016
Jun 27, 2024
Apr 08, 2025
| ||
Inherited from The Rocq Prover |
Owner
|
Aug 28, 2018
Aug 28, 2023
Apr 07, 2025
|
