Skip to content


This web page contains information for users and developers of the KeY Deductive Verification System.

If you are new to the KeY System, you should start with the excerpt Using the Prover from the KeY Book.

The documentation is split into two major parts:

If you want to contribute to this documentation, please refer to How to write documentation.

KeY Logo The KeY Team.