Вопросы с тегом Кок

0 голосов

1 ответ

Как расширить грамматику в coq?

Lana / 09 февраля 2020

1 голос

2 ответов

Различить цель в Coq

he11boy / 08 февраля 2020

0 голосов

1 ответ

Определение типов пересечений в Coq

Lana / 08 февраля 2020

0 голосов

1 ответ

Рассуждения с сопоставлениями с образцами в Coq

Nicolás / 08 февраля 2020

0 голосов

2 ответов

Как уничтожить список в Coq (ноль или нет ноль)

he11boy / 06 февраля 2020

2 голосов

2 ответов

В чем разница между определениями и теоремами?

Ignat Insarov / 06 февраля 2020

2 голосов

1 ответ

Матрица манипуляций Coq

Assombrance Andreson / 04 февраля 2020

1 голос

1 ответ

SsrReflect и переписывание сетоидов

jabberabbe / 02 февраля 2020

0 голосов

2 ответов

замена / переписывание внутри экзистенциальной гипотезы

Max Heiber / 02 февраля 2020

1 голос

1 ответ

Абстрактные структуры в правиле индукции для индуктивных предикатов для Coq

Javier / 02 февраля 2020

1 голос

1 ответ

Как оставить гол незавершенным в Coq

Javier / 01 февраля 2020

1 голос

1 ответ

Coq доказательство того, что p = q

OrenIshShalom / 01 февраля 2020

0 голосов

1 ответ

Анализ случая с вступлениями в Coq

Javier / 30 января 2020

3 голосов

1 ответ

Как реализовать Coq?

Siddharth Bhat / 30 января 2020

0 голосов

1 ответ

Корпусная конструкция для разработки Coq

Javier / 29 января 2020

1 голос

1 ответ

Как переписать данные два зависимых типа равны в Coq

sdpoll / 28 января 2020

0 голосов

1 ответ

Как использовать принуждение с sig в coq

user5876164 / 28 января 2020

0 голосов

1 ответ

Просмотреть определение в Coq-IDE

Javier / 26 января 2020

0 голосов

1 ответ

coqIDE неправильно соединяет файлы в проекте и не компилирует

Sigma / 19 января 2020

1 голос

1 ответ

Закрытие леммы в списке нац

Khan / 15 января 2020

1 голос

1 ответ

Переписать совпадение с одной ветвью, которая не зависит от сопоставленного значения

Andrew Lei / 14 января 2020

4 голосов

1 ответ

Покажите, что функция moni c (инъективная) и epi c (сюръективная) имеет обратное значение в Coq

larsr / 13 января 2020

0 голосов

2 ответов

Как построить список гетерогенных зависимых пар в Coq

hivert / 12 января 2020

2 голосов

1 ответ

Все ли гомоморфизмы правильны?

Andrew Lei / 12 января 2020

0 голосов

1 ответ

Как показать инъективность функции?

Max Heiber / 11 января 2020

Страница:

« сюда
1
2
3
4
5
6
7
8
9
10
...
26
туда »

...