GitHub repository: KeYProject/verifythis-ltc-2020
Primary language: TeX
Description: Repository of the KeY-Project for the VerifyThis Long-term Challenge