$20
Написать программу на языке Сoq. В Coq есть операция m mod n (или modulo m n), которая возвращает остаток от деления m на n. Однако поскольку все функции в Coq являются тотальными, значение выражения ...
Лабораторные работы2 заявки
Закрыт
3 месяца назад