$20
Разработайте программу на языке Coq для нахождения наибольшего общего делителя (НОД) чисел m и n, перебирая числа от min m. Используйте операцию m mod n для расчета остатка и предикат (n | m) для определения делимости. Учитывайте особенности работы с типами nat и Prop.
Лабораторные работы2 заявки
Закрыт
год назад