Towards an open development model for KeY

We are happy to announce, that development of KeY is finally public! Our new home is on Github with many repositories, for example,

Since January, 30th we disclose the development of KeY. The source code of our tools are available since the first release, but now also development (processes) of the upcoming releases take place publicly.  We welcome external contributions in all forms like bug reports, pull requests and more.

In the next weeks and months we will stepwise update and refine our infrastructure and project governance to meet the necessities for an open development model.

We are looking forward to meet you on Github!