improved check your proof site for TUM's Chair For Logic And Verification / Funktionale Programmierung und Verifikation
-
Updated
Jan 7, 2020 - JavaScript
improved check your proof site for TUM's Chair For Logic And Verification / Funktionale Programmierung und Verifikation
MVP de aplicação para auxiliar o professor a gerenciar suas atividades e alunos
Add a description, image, and links to the cyp topic page so that developers can more easily learn about it.
To associate your repository with the cyp topic, visit your repo's landing page and select "manage topics."