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:
- End user:
If you want to contribute to this documentation, please refer to How to write documentation.
The KeY Team.