AlexanderKnueppel / AlexanderKnueppel/Guido
Refactor Project
Open
refactoring
- Dominant language
- Java
- Stars
- 2
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
The whole project needs to be refactored, so it becomes more flexible and independent from KeY.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.