This web page contains the information for user and developer of the KeY Deductive Verification System.

If you are new to the KeY System, you should start with the except Using the Prover.

The documentation is split into two major parts:

You want to participate on writing this documentation please refer to How to write documentation.

KeY Logo The KeY Team.