Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
|---|---|---|---|---|
Inherited from KWARC |
Developer
|
Jan 07, 2014
Jun 21, 2016
Feb 02, 2019
| ||
Inherited from KWARC |
Maintainer
|
Mar 25, 2015
Jun 21, 2016
Feb 21, 2025
| ||
Inherited from KWARC |
Maintainer
|
Jan 07, 2014
Jun 21, 2016
Jun 12, 2024
| ||
Inherited from KWARC |
Maintainer
|
Jan 07, 2014
Jun 21, 2016
Apr 16, 2025
| ||
Direct member by Florian Rabe |
Maintainer
|
Mar 29, 2016
Nov 11, 2021
Mar 26, 2025
| ||
Direct member by Michael Kohlhase |
Maintainer
|
Sep 17, 2018
May 02, 2019
Apr 08, 2025
| ||
Inherited from KWARC |
Owner
|
Jan 07, 2014
Jun 21, 2016
Apr 16, 2025
| ||
Direct member |
Developer
|
Oct 15, 2018
Apr 24, 2020
Mar 18, 2025
| ||
Direct member by Michael Kohlhase |
Developer
|
Feb 01, 2021
Oct 18, 2023
Apr 22, 2024
| ||
Inherited from KWARC |
Maintainer
|
Jan 07, 2014
Jun 21, 2016
Apr 16, 2025
|
