Dan Rosén

DanRosen is part of the following groups:

• Maintainers for genifunctors
• Maintainers for stm-promise
• Maintainers for structural-induction
• Package uploaders