GitHub repository: KeYProject/key-docs
Primary language: TeX
Created: 2022-12-20T17:01:35Z
Description: Documentation for the KeY Theorem Prover