You can choose between different methods to install and use KeY. For this tutorial, we recommend the Single Click Jar variant described in Sect. 1.2.1.
The KeY prover as Single Click Jar¶
Download the jar from our website. You will also need to have Java 11 (or later) installed.
Byte Code and Source Code Installation¶
The download site offers also the binary and source-code versions of KeY.