KeY is open source and you are welcome to report issues and contribute code.
If you observe a bug or other issue, please report it in the issues section. If you want to report an issue privately, send an email to [email protected].
You can fork this repository into your namespace, create branches and develop as you like.
If you have fixed an issue or implemented a new feature, feel free to open a pull request. Pull requests are assessed automatically by running tests, checking for formatting errors and running static source checkers before they are reviewed by the core team.
If you plan to implement major new functionality, we suggest first getting in contact with the KeY team (open an issue). We are glad to help and to guide.
More detailed information is available in the KeY Developer Documentation. In particular, please make sure your code adheres to the Java Code Conventions.
KeY is published under the GPLv2 (no later versions). By opening a PR, you are licensing your contribution under the GPLv2 for inclusion in KeY.