GitHub repository: wadoon/key-tools
Primary language: JavaScript
Created: 2022-01-11T08:14:07Z
Description: Tools for the KeY Theorem Prover