GitHub repository: KeYProject/verification-project-template
Primary language: Python
Created: 2022-03-24T23:14:57Z
Description: A template for larger verification projects with KeY