Skip to content

Latest commit

 

History

History
14 lines (9 loc) · 618 Bytes

README.md

File metadata and controls

14 lines (9 loc) · 618 Bytes
Raw

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.