Вопросы с тегом изабель

0 голосов

1 ответ

Определение локали создает два дерева синтаксического анализа

Gergely / 04 августа 2020

1 голос

1 ответ

Изабель Прувинг с проблемой перевода

kaiboy05 / 03 августа 2020

1 голос

0 ответов

Isabelle tacti c определение

kaiboy05 / 03 августа 2020

1 голос

1 ответ

Доказательство классовой теоремы в Изабель

Gergely / 14 июля 2020

2 голосов

1 ответ

Доказательство равенства двух привязок в Номинальной Изабель

Javier / 11 июля 2020

2 голосов

1 ответ

Определение функции с несколькими привязками в Isabelle

Javier / 18 июня 2020

1 голос

0 ответов

Изабель: несовместимые функции для типа данных

Javier / 18 июня 2020

0 голосов

1 ответ

Как определить рекурсивную функцию в Isabelle / HOL?

Junjie Chen / 16 июня 2020

0 голосов

1 ответ

Кодируется ли процесс доказательства с помощью средства доказательства теорем Изабель в режиме программирования, а затем проверяется в режиме доказательства?

Junjie Chen / 30 мая 2020

1 голос

1 ответ

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

Charlie Parker / 29 мая 2020

1 голос

1 ответ

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

Jeremy Sylvestre / 29 мая 2020

1 голос

1 ответ

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

Søren Debois / 09 мая 2020

4 голосов

1 ответ

В чем разница между `overloading` и` adhoc_overloading`?

Søren Debois / 09 мая 2020

1 голос

1 ответ

Полиномиальная оценка в Изабель

Gergely / 29 января 2020

Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.

...