KeY 2.8

After almost 2 years of active development, we present now KeY 2.8 just before the year’s end.

The new KeY version comes with significant improvements on the calculus side, but features also a major overhaul of the user interface. 

You can try it out here

We thank all contributors for reaching this milestone.

Nice holidays and a happy new year! 
The KeY Team