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:
- End user:
You want to participate on writing this documentation please refer to How to write documentation.
The KeY Team.