With a small delay after the 19th KeY Symposium, we are very happy to present the new 2.12 release of KeY.
You can download it from GitHub. Continue reading “KeY 2.12”
Author: Wolfram Pfeifer
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.