Tools for the KeY ecosystem

Author: Alexander Weigl under GPLv2+

KeY is a interactive deductive theorem prover for proving the properties in Java Programs. See key-project.org for more details.

This mono-repository provides several tools in the KeY ecosystem:

1. -- A tool for embedding KeY in continous integration workflows.
2. -- Tool for the documentation generation of Taclet (sorts, function, proof rules in KeY)
3. -- A simple web-interface for using KeY.
4. -- A plugin for KeY to record and re-apply user interaction.