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 25, 2025
| ||
Direct member by Michael Kohlhase |
Maintainer
|
Mar 29, 2016
Apr 03, 2018
Apr 17, 2025
| ||
Inherited from KWARC |
Maintainer
|
Sep 17, 2018
Nov 11, 2021
Apr 08, 2025
| ||
Inherited from KWARC |
Owner
|
Jan 07, 2014
Jun 21, 2016
Apr 24, 2025
| ||
Direct member by Dennis Müller |
Maintainer
|
Jun 06, 2017
Jun 14, 2017
Mar 20, 2019
| ||
Inherited from KWARC |
Maintainer
|
Jan 07, 2014
Jun 21, 2016
Apr 23, 2025
|
