Параметризация модуля в Coq
#coq #proof Вопрос: Есть ли способ передать переменную типа в качестве параметра модулю в Coq, чтобы мне не приходилось повторять переменную типа? Вот что я имею в виду: я хочу…
#coq #proof Вопрос: Есть ли способ передать переменную типа в качестве параметра модулю в Coq, чтобы мне не приходилось повторять переменную типа? Вот что я имею в виду: я хочу…