KeY 2.10 Just in time to put it under your christmas tree, we are happy to present the new 2.10 version of KeY. You can download and try it out here. Continue reading “KeY 2.10” →