Доказательство существования, приведя пример
#coq #proof Вопрос: Если у меня есть теорема вида: Theorem my_thm (n: nat -gt; nat): exists t: nat, n t = 0. Admitted. Если я хочу доказать это для функции…
#coq #proof Вопрос: Если у меня есть теорема вида: Theorem my_thm (n: nat -gt; nat): exists t: nat, n t = 0. Admitted. Если я хочу доказать это для функции…