GitHub repository: limitedeternity/PrPr-Labs
Primary language: Coq
Created: 2020-09-25T16:49:51Z
Description: Дисциплина "Прикладное программирование на языках высокого уровня" – Лабораторные работы