Frank Dedden
frankdedden is part of the following groups:- Maintainers for copilot-c99 : candidates
- Maintainers for copilot-cbmc : candidates
- Maintainers for copilot-core : candidates
- Maintainers for copilot-language : candidates
- Maintainers for copilot-libraries : candidates
- Maintainers for copilot-sbv : candidates
- Maintainers for copilot-theorem : candidates
- Maintainers for copilot : candidates
- Maintainers for language-c99-simple : candidates
- Maintainers for language-c99-util : candidates
- Maintainers for language-c99 : candidates
- Package uploaders
Click here to manage this account