Вопросы с тегом isabelle

1 голос

1 ответ

Как быстро начать работу с формальным языковым стандартом Изабель для формального описания языка моделирования？

Junjie Chen / 01 мая 2020

2 голосов

1 ответ

Доказательства существования с полиморфными типами c

Ben Sheffield / 30 апреля 2020

2 голосов

1 ответ

Доказательство над случаями, для которых заданный элемент включен в

rodalfus / 24 апреля 2020

3 голосов

1 ответ

Как доказать эту простую теорему в Изабель?

Dev-XYS / 18 апреля 2020

1 голос

1 ответ

Изабель использует локаль или контекст за пределами локали

ged / 10 апреля 2020

2 голосов

0 ответов

Есть ли способ связаться с доказателем теоремы Изабель через python?

Pinocchio / 01 апреля 2020

2 голосов

2 ответов

Использование обратного значения инъективной функции

Søren Debois / 29 марта 2020

2 голосов

2 ответов

Могу ли я изменить обозначения во встроенном классе Изабель типа

Søren Debois / 27 марта 2020

1 голос

1 ответ

Изабель решает толкование

CabinCrew / 22 марта 2020

0 голосов

0 ответов

Поиск фактов в Айсбахе

Søren Debois / 19 марта 2020

0 голосов

3 ответов

Почему нам нужно доказать оба предложения, чтобы применить устранение дизъюнкции в Изабель?

Pinocchio / 19 марта 2020

3 голосов

1 ответ

Есть ли в Изабель переписать такти c?

Pinocchio / 18 марта 2020

1 голос

1 ответ

Прообраз функции в Изабель

Søren Debois / 16 марта 2020

1 голос

0 ответов

Случаи с пользовательским правилом в Eisbach

Søren Debois / 15 марта 2020

2 голосов

1 ответ

Как переключить автоматическое обновление в Изабель с помощью сочетания клавиш?

Pinocchio / 15 марта 2020

2 голосов

1 ответ

Обобщите утверждение в структурном доказательстве индукции, чтобы иметь возможность использовать гипотезу индукции

Travis / 14 марта 2020

0 голосов

2 ответов

Анализ случая определения функции в Изабель

Javier / 14 марта 2020

1 голос

1 ответ

Как применить стандарт ко всем подцелям в Изабель?

Javier / 11 марта 2020

1 голос

1 ответ

Использование подхода типа к множествам для определения отношений

Javier / 10 марта 2020

1 голос

1 ответ

Express Параметр c Аббревиатура в Изабель

Javier / 09 марта 2020

2 голосов

2 ответов

Как вставить значения в неизвестных в доказательстве теоремы Изабель?

Pinocchio / 09 марта 2020

1 голос

1 ответ

Как преобразовать предикат в функцию в Изабель?

Søren Debois / 09 марта 2020

1 голос

1 ответ

Генерация кода Изабель и линейный порядок

DianaPrince / 04 марта 2020

3 голосов

0 ответов

Отслеживание тактики в Изабель

Gergely / 04 марта 2020

1 голос

1 ответ

Можно ли написать неавтоматизированные c формализации в Изаре?

Gergely / 04 марта 2020