/key-tools

Tools for the KeY Theorem Prover

Primary LanguageJavaScriptGNU General Public License v2.0GPL-2.0

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.